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

Type de document :
Article dans une revue
Bulletin of the EATCS, EATCS, 1992, 48, pp.197--209
Liste complète des métadonnées

https://hal.inria.fr/inria-00538877
Contributeur : Rémi Gilleron <>
Soumis le : mardi 23 novembre 2010 - 14:48:08
Dernière modification le : mardi 24 avril 2018 - 13:37:37

Identifiants

  • HAL Id : inria-00538877, version 1

Collections

Citation

Sandor Vágvölgyi, Rémi Gilleron. For a rewrite system it is decidable whether the set of irreducible ground terms is recognizable.. Bulletin of the EATCS, EATCS, 1992, 48, pp.197--209. 〈inria-00538877〉

Partager

Métriques

Consultations de la notice

131