Skip to Main content Skip to Navigation
Journal articles

On Rewrite Constraints and Context Unification

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.
Complete list of metadata

https://hal.inria.fr/inria-00536802
Contributor : Joachim Niehren <>
Submitted on : Thursday, November 18, 2010 - 5:26:56 PM
Last modification on : Thursday, July 8, 2021 - 3:48:10 AM
Long-term archiving on: : Saturday, February 19, 2011 - 2:49:26 AM

Files

rewrite-context.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536802, version 1

Collections

Citation

Joachim Niehren, Ralf Treinen, Sophie Tison. On Rewrite Constraints and Context Unification. Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40. ⟨inria-00536802⟩

Share

Metrics

Record views

276

Files downloads

299