5570 results in Programming Languages and Applied Logic
PART V - ADVANCED TOPICS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 439-440
-
- Chapter
- Export citation
13 - Logic-based queries
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 161-175
-
- Chapter
- Export citation
12 - Path expressions and tree-walking automata
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 148-160
-
- Chapter
- Export citation
Symbols
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 558-560
-
- Chapter
- Export citation
2 - Preliminaries
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 9-16
-
- Chapter
- Export citation
PART III - ALGEBRA
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 155-156
-
- Chapter
- Export citation
14 - Ambiguity
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 176-189
-
- Chapter
- Export citation
7 - Domain construction
- from PART II - OPERATIONS AND CONSTRUCTIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 106-154
-
- Chapter
- Export citation
Contents
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp v-viii
-
- Chapter
- Export citation
Appendix B - Proofs postponed from Part II
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 516-523
-
- Chapter
- Export citation
8 - Relation algebra
- from PART III - ALGEBRA
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 157-182
-
- Chapter
- Export citation
References
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 218-222
-
- Chapter
- Export citation
Index
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 223-226
-
- Chapter
- Export citation
12 - Orderings: an advanced view
- from PART IV - APPLICATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 303-348
-
- Chapter
- Export citation
6 - Marking tree automata
- from PART I - BASIC TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 63-70
-
- Chapter
- Export citation
Appendix C - Algebraic visualization
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 524-530
-
- Chapter
- Export citation
Part III - Applications
-
- Book:
- Noncommutative Rational Series with Applications
- Published online:
- 05 June 2013
- Print publication:
- 14 October 2010, pp 161-162
-
- Chapter
- Export citation
12 - Semisimple syntactic algebras
- from Part III - Applications
-
- Book:
- Noncommutative Rational Series with Applications
- Published online:
- 05 June 2013
- Print publication:
- 14 October 2010, pp 217-232
-
- Chapter
- Export citation
Contents
-
- Book:
- Noncommutative Rational Series with Applications
- Published online:
- 05 June 2013
- Print publication:
- 14 October 2010, pp vii-x
-
- Chapter
- Export citation
6 - Rational series in one variable
- from Part II - Arithmetic
-
- Book:
- Noncommutative Rational Series with Applications
- Published online:
- 05 June 2013
- Print publication:
- 14 October 2010, pp 105-128
-
- Chapter
- Export citation