5570 results in Programming Languages and Applied Logic
References
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 549-557
-
- Chapter
- Export citation
15 - Unorderedness
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 190-198
-
- Chapter
- Export citation
Preface
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp xi-xiv
-
- Chapter
- Export citation
5 - Pattern matching
- from PART I - BASIC TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 49-62
-
- Chapter
- Export citation
PART IV - APPLICATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 301-302
-
- Chapter
- Export citation
17 - Mathematical applications
- from PART V - ADVANCED TOPICS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 441-460
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp i-iv
-
- Chapter
- Export citation
PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 91-92
-
- Chapter
- Export citation
PART I - REPRESENTATIONS OF RELATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 3-4
-
- Chapter
- Export citation
7 - Typechecking
- from PART I - BASIC TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 71-90
-
- Chapter
- Export citation
Preface
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp xi-xii
-
- Chapter
- Export citation
Appendix Solutions to selected exercises
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 199-217
-
- Chapter
- Export citation
8 - On-the-fly algorithms
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 93-116
-
- Chapter
- Export citation
19 - Power operations
- from PART V - ADVANCED TOPICS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 483-510
-
- Chapter
- Export citation
Relational Mathematics
-
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010
10 - Tree transducers
- from PART II - ADVANCED TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 127-137
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 1-2
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 1-8
-
- Chapter
- Export citation
15 - Relational graph theory
- from PART IV - APPLICATIONS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 396-414
-
- Chapter
- Export citation
Index
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 561-567
-
- Chapter
- Export citation