Book review

摘要

This book is an introduction to unification grammars, as used for modelling the syntax of natural languages, with a strong emphasis on mathematical properties. Much of the book is filled with formal definitions of concepts, and theorems and their proofs, complemented by copious examples.