On Rewrite Constraints and Context Unification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2000

On Rewrite Constraints and Context Unification

Joachim Niehren
Programming Systems Lab [Saarland]
CV
Ralf Treinen
  • Fonction : Auteur
Laboratoire de Recherche en Informatique
Sophie Tison
Laboratoire d'Informatique Fondamentale de Lille

Résumé

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.

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
rewrite-context.pdf (176.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Joachim Niehren  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00536802

Soumis le : jeudi 18 novembre 2010-17:26:56

Dernière modification le : samedi 10 février 2024-03:07:46

Archivage à long terme le : samedi 19 février 2011-02:49:26

Télécharger pour visualiser

Dates et versions

inria-00536802 , version 1 (18-11-2010)

Identifiants

  • HAL Id : inria-00536802 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-LILLE3 CNRS INRIA LIFL UMR8623 UNIV-PARIS-SACLAY
98 Consultations
113 Téléchargements

Partager

Gmail Facebook X LinkedIn More