5570 results in Programming Languages and Applied Logic
Copyright page
-
- Book:
- Formal Languages in Logic
- Published online:
- 05 December 2012
- Print publication:
- 08 November 2012, pp iv-iv
-
- Chapter
- Export citation
Chapter 4 - How wedoreason – and the need for counterbalance in science
- from Part II
-
- Book:
- Formal Languages in Logic
- Published online:
- 05 December 2012
- Print publication:
- 08 November 2012, pp 113-160
-
- Chapter
- Export citation
Contents
-
- Book:
- Formal Languages in Logic
- Published online:
- 05 December 2012
- Print publication:
- 08 November 2012, pp v-vi
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp xi-xiv
-
- Chapter
- Export citation
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
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