Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

On Rewrite Constraints and Context Unification

Joachim Niehren, Ralf Treinen, Sophie Tison

Information Processing Letters 74(1-2):35-40, April 2000

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.

Download PDF        Show BibTeX               

@ARTICLE{rewrite-context,
  title = {On Rewrite Constraints and Context Unification},
  author = {Joachim Niehren and Ralf Treinen and Sophie Tison},
  year = {2000},
  month = {apr},
  journal = {{Information Processing Letters}},
  volume = {{74}},
  pages = {{35--40}},
  number = {{1-2}},
}

Login to edit