Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00538877
Contributor : Rémi Gilleron <>
Submitted on : Tuesday, November 23, 2010 - 2:48:08 PM
Last modification on : Tuesday, April 28, 2020 - 11:52:08 AM

Identifiers

  • 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- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 1992, 48, pp.197--209. ⟨inria-00538877⟩

Share

Metrics

Record views

198