Journal Articles
Bulletin- European Association for Theoretical Computer Science
Year : 1992
Rémi Gilleron : Connect in order to contact the contributor
https://inria.hal.science/inria-00538877
Submitted on : Tuesday, November 23, 2010-2:48:08 PM
Last modification on : Friday, May 17, 2024-4:32:06 PM
Dates and versions
Identifiers
- HAL Id : inria-00538877 , version 1
Cite
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
131
View
0
Download