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 metadatas

https://hal.inria.fr/inria-00536802
Contributor : Joachim Niehren <>
Submitted on : Thursday, November 18, 2010 - 5:26:56 PM
Last modification on : Tuesday, April 21, 2020 - 1:06:51 AM
Document(s) archivé(s) le : 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

258

Files downloads

244