The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

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: Paperback
• Language: English
• ISBN: 0521022541
• ISBN13: 9780521022545
• Release Date: November 2005
• Publisher: Cambridge University Press
• Length: 280 Pages
• Weight: 1.01 lbs.
• Dimensions: 0.6" x 6.7" x 9.7"