Parsing with Structure-Preserving Categorial Grammars
Matteo Capelletti
Title
Acknowledgments
Table of contents
Chapter 1
:
Introduction
Chapter 2
:
Background
Part I
:
Automated Reasoning
Chapter 3
:
Deductive Parsers
Chapter 4
:
Implementations
Part II
:
The Non-associative Lambek Calculus
Chapter 5
:
Normal Derivations in NL
Chapter 6
:
Normal Derivations and Ambiguity
Chapter 7
:
Complexity
Chapter 8
:
Conclusion and Further Lines of Research
Bibliography
Index
Samenvatting
Curriulum vitae
Complete text
Cover