21 results
3 - Equational and recognizable sets in many-sorted algebras
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 188-259
-
- Chapter
- Export citation
References
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 691-710
-
- Chapter
- Export citation
4 - Equational and recognizable sets of graphs
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 260-314
-
- Chapter
- Export citation
9 - Relational structures
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 621-685
-
- Chapter
- Export citation
1 - Overview
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 16-79
-
- Chapter
- Export citation
6 - Algorithmic applications
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 427-504
-
- Chapter
- Export citation
8 - Transductions of terms and words
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 578-620
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805218/98331/cover/9780521898331.jpg)
Graph Structure and Monadic Second-Order Logic
- A Language-Theoretic Approach
-
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012
2 - Graph algebras and widths of graphs
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 80-187
-
- Chapter
- Export citation
5 - Monadic second-order logic
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 315-426
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp i-vi
-
- Chapter
- Export citation
Conclusion and open problems
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 686-690
-
- Chapter
- Export citation
7 - Monadic second-order transductions
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 505-577
-
- Chapter
- Export citation
Contents
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp vii-x
-
- Chapter
- Export citation
Introduction
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 1-15
-
- Chapter
- Export citation
Index of notation
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 711-720
-
- Chapter
- Export citation
Index
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 721-728
-
- Chapter
- Export citation
7 - Program semantics and infinite regular terms
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 165-168
-
- Chapter
- Export citation
8 - Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 169-184
-
- Chapter
- Export citation
Recognizable sets of graphs: equivalent definitions and closure properties
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 1 / March 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 1-32
-
- Article
- Export citation