6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Covering Properties of Core Models
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 281-300
-
- Chapter
- Export citation
Clockwork or Turing U/universe? - Remarks on Causal Determinism and Computability
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 63-116
-
- Chapter
- Export citation
Relative Categoricity in Abelian Groups
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 157-168
-
- Chapter
- Export citation
Computability and Complexity Revisited
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 169-192
-
- Chapter
- Export citation
Simplicity and Independence for Pseudo-Algebraically Closed Fields
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 41-62
-
- Chapter
- Export citation
Models and Computability
-
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999
Sets and Proofs
-
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999
On the Complexity of the Propositional Calculus
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 197-218
-
- Chapter
- Export citation
First Steps into Metapredicativity in Explicit Mathematics
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 383-402
-
- Chapter
- Export citation
Recursion Theoretic Memories 1954–1978
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 367-376
-
- Chapter
- Export citation
Polish Group Topologies
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 339-364
-
- Chapter
- Export citation
Degree-Theoretic Aspects of Computably Enumerable Reals
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 23-40
-
- Chapter
- Export citation
An Introduction to Core Model Theory
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 103-158
-
- Chapter
- Export citation
Contents
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp v-vi
-
- Chapter
- Export citation
A Measure for the Non-Orthogonality of a Lattice Basis
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 281-291
-
- Article
- Export citation
There is no complete axiom system for shuffle expressions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 271-277
- Print publication:
- May 1999
-
- Article
- Export citation
On Existentially First-Order Definable Languages and Their Relation to NP
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 259-269
- Print publication:
- May 1999
-
- Article
- Export citation
Conditional Independences among Four Random Variables III: Final Conclusion
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 269-276
-
- Article
- Export citation
List Improper Colourings of Planar Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 293-299
-
- Article
- Export citation
On the Expected Depth of Random Circuits
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 209-228
-
- Article
- Export citation