5570 results in Programming Languages and Applied Logic
2 - Coinduction and the duality with induction
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 28-88
-
- Chapter
- Export citation
Appendix A - Solutions to selected exercises
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 199-230
-
- Chapter
- Export citation
7 - Conclusion
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 275-276
-
- Chapter
- Export citation
Index
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 307-312
-
- Chapter
- Export citation
Unification Grammars
-
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011
6 - Computational aspects of unification grammars
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 213-274
-
- Chapter
- Export citation
Appendix A - List of symbols
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 277-279
-
- Chapter
- Export citation
Appendix C - Solutions to selected exercises
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 284-298
-
- Chapter
- Export citation
2 - Feature structures
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 34-84
-
- Chapter
- Export citation
Contents
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp vii-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp ix-xi
-
- Chapter
- Export citation
4 - Unification grammars
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 115-164
-
- Chapter
- Export citation
3 - Unification
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 85-114
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp xii-xii
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 1-33
-
- Chapter
- Export citation
Appendix B - Preliminary mathematical notions
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 280-283
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 299-306
-
- Chapter
- Export citation
5 - Linguistic applications
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp 165-212
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Unification Grammars
- Published online:
- 25 October 2011
- Print publication:
- 30 September 2011, pp i-vi
-
- Chapter
- Export citation
1 - Categories
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 1-33
-
- Chapter
- Export citation