Paperback
Add to list Added to list The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. Carpenter (Carnegie Mellon University, Pennsylvania)
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and…
Available to order, ships in approx 2 weeksAvailable to order