The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

By Bob Carpenter and Robert L. Carpenter

Book Overview

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,... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521419328
• ISBN13: 9780521419321
• Release Date: June 1992
• Publisher: Cambridge University Press
• Length: 280 Pages
• Weight: 1.20 lbs.
• Dimensions: 10.3" x 1.0" x 7.3"