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. 234270

 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. 281304
 Print publication:
 June 2013

 Article
 Export citation
A geometric zeroone law

 Journal:
 The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
 Published online by Cambridge University Press:
 12 March 2014, pp. 929938
 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. 145168
 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. 299350
 Print publication:
 September 2008

 Article

 You have access
 Export citation
Strong extension axioms and Shelah's zeroone 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. 65131
 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. 10931125
 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. 6588
 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. 12641310
 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. 946958
 Print publication:
 June 2000

 Article
 Export citation
InverseComputation 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. 549562
 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. 952969
 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. 10831088
 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. 305323
 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. 668681
 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. 12531261
 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. 184191
 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. 11201124
 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. 11051119
 Print publication:
 December 1983

 Article
 Export citation