IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #1041   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:20
1041 Add to my selection
@Article{Niehren_et_al:2000,
      AUTHOR = {Niehren, Joachim and Treinen, Ralf and Tison, Sophie},
      TITLE = {On Rewrite Constraints and Context Unification},
      YEAR = {2000},
      JOURNAL = {Information Processing Letters},
      VOLUME = {74},
      NUMBER = {1-2},
      PAGES = {35-40},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/rewrite-context.ps.gz},
      ABSTRACT = {We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability problem of slightly generalized rewriting constraints.},
      ANNOTE = {COLIURL : Niehren:2000:RCC.pdf Niehren:2000:RCC.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin