ACL RD-TEC 1.0 Summarization of E93-1032

Paper Title:
TOWARDS EFFICIENT PARSING WITH PROOF-NETS

Primarily assigned technology terms:

Other assigned terms:

  • alphabet
  • axioms
  • case
  • concepts
  • deduction
  • derivations
  • fact
  • grammars
  • hypothesis
  • index
  • induction hypothesis
  • lambda
  • leaf
  • lemma
  • mapping
  • method
  • ordered list
  • paragraph
  • proposition
  • sentence
  • theorem
  • topological structure
  • topology
  • transformation
  • tree
  • trees
  • vertex
  • words

Extracted Section Types:


This page last edited on 10 May 2017.

*** ***