ACL RD-TEC 1.0 Summarization of C88-1009
Paper Title:
FEATURE GRAPHS AND ABSTRACT DATA TYPES: A UNIFYING APPROACH
FEATURE GRAPHS AND ABSTRACT DATA TYPES: A UNIFYING APPROACH
Authors: Christoph BEIERLE and Udo PLETAT
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- composition
- concept
- concepts
- correlation
- data type
- deduction
- deductive closure
- fact
- feature
- feature graph
- formal semantics
- formalism
- formalisms
- function composition
- grammar
- grammar formalisms
- grammars
- linguists
- logic
- mathematical notation
- meaning
- normal form
- procedure
- process
- reflexive and transitive closure
- relation
- rewrite rules
- root node
- search space
- semantic
- symbol
- syntax
- syntax and semantics
- term
- terms
- theorem
- theory
- transformation
- transitive closure
- understanding
- unification grammar
- unification grammars
- unification-based grammar
