11 results
Permutations with kregular descent patterns


 Book:
 Permutation Patterns
 Published online:
 05 October 2010
 Print publication:
 03 June 2010, pp 259286

 Chapter
 Export citation
Equivalence structures and isomorphisms in the difference hierarchy

 Journal:
 The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
 Published online by Cambridge University Press:
 12 March 2014, pp. 535556
 Print publication:
 June 2009

 Article
 Export citation
20072008 Winter Meeting of the Association for Symbolic Logic

 Journal:
 Bulletin of Symbolic Logic / Volume 14 / Issue 3 / September 2008
 Published online by Cambridge University Press:
 15 January 2014, pp. 402411
 Print publication:
 September 2008

 Article
 Export citation
On the complexity of inductive definitions

 Journal:
 Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
 Published online by Cambridge University Press:
 11 October 2006, pp. 763788

 Article
 Export citation
Complexity, decidability and completeness*

 Journal:
 The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
 Published online by Cambridge University Press:
 12 March 2014, pp. 399424
 Print publication:
 June 2006

 Article
 Export citation
Prooftheoretic strength of the stable marriage theorem and other problems


 Book:
 Reverse Mathematics 2001
 Published online:
 31 March 2017
 Print publication:
 02 March 2005, pp 67103

 Chapter
 Export citation
On the expressibility of stable logic programming

 Journal:
 Theory and Practice of Logic Programming / Volume 3 / Issue 45 / July 2003
 Published online by Cambridge University Press:
 31 July 2003, pp. 551567

 Article
 Export citation
Planarity and minimal path algorithms
 Part of

 Journal:
 Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 40 / Issue 1 / February 1986
 Published online by Cambridge University Press:
 09 April 2009, pp. 131142
 Print publication:
 February 1986

 Article

 You have access
 Export citation
Partial orderings of fixed finite dimension: Model companions and density1

 Journal:
 The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
 Published online by Cambridge University Press:
 12 March 2014, pp. 789802
 Print publication:
 December 1981

 Article
 Export citation
Recursive Boolean algebras with recursive atoms

 Journal:
 The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
 Published online by Cambridge University Press:
 12 March 2014, pp. 595616
 Print publication:
 September 1981

 Article
 Export citation
J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. SpringerVerlag, New York, Heidelberg, and Berlin, 1976, x + 531 pp.

 Journal:
 The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
 Published online by Cambridge University Press:
 12 March 2014, pp. 283284
 Print publication:
 June 1979

 Article
 Export citation