ACL RD-TEC 1.0 Summarization of C92-1061
Paper Title:
PROOF-NETS AND DEPENDENCIES
PROOF-NETS AND DEPENDENCIES
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- categorial grammar
- categorial grammars
- composition
- deduction
- dependency grammars
- dependency structure
- dependency structures
- derivation
- derivations
- device
- distribution
- fact
- formalism
- formalisms
- french
- generative capacity
- grammar
- grammars
- index
- inference rules
- inheritance
- interpretation
- lexical entries
- lexicon
- linear logic
- linguist
- logic
- logic formulae
- method
- natural language
- right-hand side
- semantic
- semantic interpretation
- sentence
- sentences
- structure of a sentence
- sub-tree
- subtree
- terms
- theorem
- tree
- trees
- word
- word grammar
- words
