For a rewrite system it is decidable whether the set of irreducible ground terms is recognizable. - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Bulletin- European Association for Theoretical Computer Science Année : 1992

For a rewrite system it is decidable whether the set of irreducible ground terms is recognizable.

Sandor Vágvölgyi
  • Fonction : Auteur
Laboratoire d'Informatique Fondamentale de Lille
Rémi Gilleron
Laboratoire d'Informatique Fondamentale de Lille

Domaines

Langage de programmation [cs.PL]

Rémi Gilleron  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 23 novembre 2010-14:48:08

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

inria-00538877 , version 1 (23-11-2010)

Identifiants

  • HAL Id : inria-00538877 , version 1

Citer

Sandor Vágvölgyi, Rémi Gilleron. For a rewrite system it is decidable whether the set of irreducible ground terms is recognizable.. Bulletin- European Association for Theoretical Computer Science, 1992, 48, pp.197--209. ⟨inria-00538877⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA LIFL
130 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More