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.
Type de document :
Article dans une revue
Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40
Liste complète des métadonnées

https://hal.inria.fr/inria-00536802
Contributeur : Joachim Niehren <>
Soumis le : jeudi 18 novembre 2010 - 17:26:56
Dernière modification le : mardi 24 avril 2018 - 13:29:17
Document(s) archivé(s) le : samedi 19 février 2011 - 02:49:26

Fichiers

rewrite-context.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

172

Téléchargements de fichiers

70