The Logic of Typed Feature Structures

DOI10.1017/CBO9780511530098zbMath1095.68573MaRDI QIDQ5472787

Bob Carpenter

Publication date: 12 June 2006

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Data structures (68P05) Logic programming (68N17)

Related Items (1)

Ontological commitments of frame-based knowledge representations

Uses Software

• ALE

This page was built for publication: The Logic of Typed Feature Structures