The Logic of Typed Feature Structures

This page is devoted to the book:

• Bob Carpenter. 1992. The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science 32. Cambridge University Press. ISBN 0-521-41932-8 (hardback)

Ordering The Logic of Typed Feature Structures

• Order from Cambridge University Press inside of the US.
• Order from Cambridge University Press outside of the US.
• Order from amazon.com.

ALE: The Attribute Logic Engine

This book provides the theoretical basis for the freely available implementation of typed-feature structures for parsing, generation and logic programming, known as ALE.

• The Attribute Logic Engine (ALE) Home Page.
        now maintained by: Gerald Penn.

Errata

Errata (65k postscript file)

Suggestions, Questions or Corrections

If you have suggestions, questions or corrections, please send them to Bob Carpenter at carp@colloquial.com.