5570 results in Programming Languages and Applied Logic
PART I - BASIC TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 17-18
-
- Chapter
- Export citation
16 - Standard Galois mechanisms
- from PART IV - APPLICATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 415-438
-
- Chapter
- Export citation
4 - Tree automata
- from PART I - BASIC TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 30-48
-
- Chapter
- Export citation
Foundations of XML Processing
- The Tree-Automata Approach
-
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010
13 - Preference and indifference
- from PART IV - APPLICATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 349-367
-
- Chapter
- Export citation
9 - Alternating tree automata
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 117-126
-
- Chapter
- Export citation
6 - Relations and vectors
- from PART II - OPERATIONS AND CONSTRUCTIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 91-105
-
- Chapter
- Export citation
2 - Sets, subsets, and elements
- from PART I - REPRESENTATIONS OF RELATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 5-14
-
- Chapter
- Export citation
3 - Relations
- from PART I - REPRESENTATIONS OF RELATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 15-32
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp vii-x
-
- Chapter
- Export citation
9 - Orders and lattices
- from PART III - ALGEBRA
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 183-199
-
- Chapter
- Export citation
14 - Aggregating preferences
- from PART IV - APPLICATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 368-395
-
- Chapter
- Export citation
5 - Order and function: the standard view
- from PART II - OPERATIONS AND CONSTRUCTIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 49-90
-
- Chapter
- Export citation
Notes on illustrations
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp ix-x
-
- Chapter
- Export citation
11 - Concept analysis
- from PART III - ALGEBRA
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 251-300
-
- Chapter
- Export citation
4 - Algebraic operations on relations
- from PART II - OPERATIONS AND CONSTRUCTIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 35-48
-
- Chapter
- Export citation
PART II - OPERATIONS AND CONSTRUCTIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 33-34
-
- Chapter
- Export citation
11 - Exact typechecking
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 138-147
-
- Chapter
- Export citation
10 - Rectangles, fringes, inverses
- from PART III - ALGEBRA
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 200-250
-
- Chapter
- Export citation