ACL RD-TEC 1.0 Summarization of P93-1026
Paper Title:
A COMPLETE AND RECURSIVE FEATURE THEORY
A COMPLETE AND RECURSIVE FEATURE THEORY
Authors: Rolf Backofen and Gert Smolka
Primarily assigned technology terms:
Other assigned terms:
- alphabet
- axioms
- binary relation
- binary relations
- case
- composition
- data structure
- deduction
- denotation
- empty path
- existential quantification
- fact
- feature
- feature graph
- first-order formulae
- first-order theory
- formalisms
- grammar
- grammar formalisms
- graph structure
- graphical representation
- hypothesis
- induction hypothesis
- lemma
- linguistics
- maps
- normal form
- procedure
- projection
- proposition
- propositions
- quantifier
- relation
- relational notation
- sentences
- subtree
- subtrees
- symbol
- symbols
- syntax
- term
- terms
- theorem
- theory
- transformation
- tree
- tree structure
- tree structures
- trees
- word
