ACL RD-TEC 1.0 Summarization of P93-1027
Paper Title:
ON THE DECIDABILITY OF FUNCTIONAL UNCERTAINTY
ON THE DECIDABILITY OF FUNCTIONAL UNCERTAINTY
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- constituent coordination
- decidability
- derivation
- derivations
- device
- disjunction
- empty path
- feature
- feature path
- finite set
- first order formulae
- formalization
- grammars
- interpretation
- lemma
- linguistic
- linguistic motivation
- linguistics
- logic
- long distance dependencies
- measures
- method
- negation
- normal form
- predicates
- proposition
- relation
- rewrite rules
- sentence
- sentences
- symbols
- syntactic properties
- syntax
- term
- terms
- theorem
- transformation
- transformation rules
- unification grammars
- word
- words
