IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #513   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:31
513 Add to my selection
      AUTHOR = {Erk, Katrin and Niehren, Joachim},
      TITLE = {Parallelism Constraints},
      YEAR = {2000},
      BOOKTITLE = {11th International Conference on Rewriting Techniques and Applications (RTA '00), July 10-12},
      EDITOR = {Bachmair, L.},
      SERIES = {LNCS},
      ADDRESS = {University of East Anglia, Norwich, UK},
      PUBLISHER = {Springer},
      URL = {},
      ABSTRACT = {Parallelism constraints are logical desciptions of trees. They are as expressive as context unification, i.e. second-order linear unification. We present a semi-decision procedure enumerating all most general unifiers of a parallelism constraint and prove it sound and complete. In contrast to all known procedures for context unification, the presented procedure terminates for the important fragment of dominance constraints and performs reasonably well in a recent application to underspecified natural language semantics.},
      ANNOTE = {COLIURL :}
Last modified: Thu October 16 2014 19:11:34         BibAdmin