The Logic of Typed Feature Structures
Subtitle: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: November 30, 2005
Language: eng
Format: Paperback
Number of pages: 278
ISBN-13: 9780521022545
Subjects: Mathematical theory of computation; Programming - General; Data Modeling & Design; Computers; Computers - Languages / Programming; Computer Books: General; Programming Languages - General; Logic Design; Computers / Logic Design; Computers / Programming / Software Development; Computers-Data Modeling & Design; Computers-Programming - General; Data structures (Computer science); Data structures (Computer science) Data struc; General
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.