The Logic of Typed Feature Structures
Subtitle: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: June 26, 1992
Language: eng
Format: Hardcover
Number of pages: 280
ISBN-13: 9780521419321
Subjects: Databases & data structures; Mathematical theory of computation; Data structures (Computer science); Data Structures; Computers; Computers - Languages / Programming; Computer Books: General; Programming Languages - General; General; Data Modeling & Design; Computers / Programming / Software Development; Data structures (Computer scie; Logic programming
First sentence: In this monograph we motivate and provide theoretical foundations for the specification and implementation of systems employing data structures which have come to be known as feature structures.