The logic of typed feature structures
Subtitle: with applications to unification grammars, logic programs, and constraint resolution
By: Bob Carpenter.
Series: Cambridge tracts in theoretical computer science ;; 32
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York
Language: eng
Number of pages: 270
Subjects: Data structures (Computer science); Logic programming.
Notes: Includes bibliographical references (p. 245-258) and indexes.