27 results
Witness algebra and anyon braiding
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 3 / March 2020
- Published online by Cambridge University Press:
- 16 March 2020, pp. 234-270
-
- Article
- Export citation
TRANSITIVE PRIMAL INFON LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 21 March 2013, pp. 281-304
- Print publication:
- June 2013
-
- Article
- Export citation
A geometric zero-one law
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 929-938
- Print publication:
- September 2009
-
- Article
- Export citation
When are Two Algorithms the Same?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-168
- Print publication:
- June 2009
-
- Article
- Export citation
A Natural Axiomatization of Computability and Proof of Church's Thesis
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 3 / September 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-350
- Print publication:
- September 2008
-
- Article
-
- You have access
- Export citation
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-131
- Print publication:
- March 2003
-
- Article
- Export citation
On polynomial time computation over unordered structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1125
- Print publication:
- September 2002
-
- Article
- Export citation
Fixed Point Logics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-88
- Print publication:
- March 2002
-
- Article
- Export citation
The Logic of Choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1264-1310
- Print publication:
- September 2000
-
- Article
- Export citation
Definability and undefinability with real order at the background
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 946-958
- Print publication:
- June 2000
-
- Article
- Export citation
Inverse-Computation Design of a SiC Bulk Crystal Growth System
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 640 / 2000
- Published online by Cambridge University Press:
- 21 March 2011, H1.6
- Print publication:
- 2000
-
- Article
- Export citation
On finite rigid structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-562
- Print publication:
- June 1996
-
- Article
- Export citation
Tailoring recursion for complexity
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 952-969
- Print publication:
- September 1995
-
- Article
- Export citation
Time polynomial in input or output
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1083-1088
- Print publication:
- September 1989
-
- Article
- Export citation
On the strength of the interpretation method
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
- Print publication:
- June 1989
-
- Article
- Export citation
The decision problem for branching time logic1,2
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-681
- Print publication:
- September 1985
-
- Article
- Export citation
A decidable subclass of the minimal Gödel class with identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1261
- Print publication:
- December 1984
-
- Article
- Export citation
The word problem for cancellation semigroups with zero
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-191
- Print publication:
- March 1984
-
- Article
- Export citation
Random models and the Gödel case of the decision problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1120-1124
- Print publication:
- December 1983
-
- Article
- Export citation
Rabin's uniformization problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1119
- Print publication:
- December 1983
-
- Article
- Export citation