11 results
Permutations with k-regular descent patterns
-
-
- Book:
- Permutation Patterns
- Published online:
- 05 October 2010
- Print publication:
- 03 June 2010, pp 259-286
-
- 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. 535-556
- Print publication:
- June 2009
-
- Article
- Export citation
2007-2008 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. 402-411
- 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. 763-788
-
- 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. 399-424
- Print publication:
- June 2006
-
- Article
- Export citation
Proof-theoretic strength of the stable marriage theorem and other problems
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 67-103
-
- Chapter
- Export citation
On the expressibility of stable logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 4-5 / July 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 551-567
-
- 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. 131-142
- 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. 789-802
- 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. 595-616
- Print publication:
- September 1981
-
- Article
- Export citation
J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. Springer-Verlag, 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. 283-284
- Print publication:
- June 1979
-
- Article
- Export citation