6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Inequalities for Means of Restricted First-Passage Times in Percolation Theory
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 307-315
-
- Article
- Export citation
Compound Poisson Approximation for Dissociated Random Variables via Stein's Method
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 335-346
-
- Article
- Export citation
A Note on Negative Tagging for Least Fixed-Point Formulae
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 383-392
- Print publication:
- July 1999
-
- Article
- Export citation
Final Dialgebras: From Categories to Allegories
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 401-426
- Print publication:
- July 1999
-
- Article
- Export citation
Generating Random Regular Graphs Quickly
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 377-396
-
- Article
- Export citation
A Finite Axiomatization of Nondeterministic Regular Expressions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 447-465
- Print publication:
- July 1999
-
- Article
- Export citation
Fixpoint alternation: arithmetic, transition systems, and the binary tree
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 341-356
- Print publication:
- July 1999
-
- Article
- Export citation
Hypergraph Packing and Graph Embedding
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 363-376
-
- Article
- Export citation
Topologies, Continuity and Bisimulations
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 357-381
- Print publication:
- July 1999
-
- Article
- Export citation
Monotone (co)inductive types and positive fixed-point types
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 309-328
- Print publication:
- July 1999
-
- Article
- Export citation
On the Topological Stability Conjecture
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 279-292
-
- Chapter
- Export citation
Effective Model Theory: The Number of Models and Their Complexity
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 193-240
-
- Chapter
- Export citation
Contents
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp v-vi
-
- Chapter
- Export citation
A Semantical Calculus for Intuitionistic Propositional Logic
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 73-94
-
- Chapter
- Export citation
Forcing Closed Unbounded Subsets of Nw+1
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 365-382
-
- Chapter
- Export citation
Continuous Functionals of Dependent and Transfinite Types
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 1-22
-
- Chapter
- Export citation
Logic and Decision Making
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 313-338
-
- Chapter
- Export citation
Preface
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp vii-x
-
- Chapter
- Export citation
The Realm of Orinal Analysis
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 219-280
-
- Chapter
- Export citation
A Mahlo-Universe of Effective Domains with Totality
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 293-312
-
- Chapter
- Export citation