Skip to Main content Skip to Navigation
New interface
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 Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2010 - 5:26:56 PM
Last modification on : Tuesday, October 18, 2022 - 3:38:11 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

Citation

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

Share

Metrics

Record views

96

Files downloads

105