ACL RD-TEC 1.0 Summarization of P94-1023
Paper Title:
ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES
ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- case
- checker
- constraint satisfaction
- d-theory
- deduction
- derivation
- description language
- discourse
- disjunction
- fact
- feature
- feature structures
- finite set
- forest
- implementation
- inference rule
- inheritance
- invocation
- leaf
- names
- procedure
- prolog implementation
- recursion
- reflexivity
- relation
- root node
- search tree
- structural relation
- subtrees
- syntactic structure
- syntactic tree
- term
- theorem
- theory
- transitivity
- tree
- tree structure
- tree structures
- trees
