Article Dans Une Revue
Bulletin- European Association for Theoretical Computer Science
Année : 1992
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
Dates et versions
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⟩
Collections
130
Consultations
0
Téléchargements