A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
The DOL omega-equivalence problem
Tekijät: Honkala J
Kustantaja: WORLD SCIENTIFIC PUBL CO PTE LTD
Julkaisuvuosi: 2007
Journal: International Journal of Foundations of Computer Science
Tietokannassa oleva lehden nimi: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Lehden akronyymi: INT J FOUND COMPUT S
Vuosikerta: 18
Numero: 1
Aloitussivu: 181
Lopetussivu: 194
Sivujen määrä: 14
ISSN: 0129-0541
DOI: https://doi.org/10.1142/S0129054107004620
Tiivistelmä
Culik II and Harju have shown that the omega-equivalence problem is decidable for DOL systems. We give a new proof of this result.
Culik II and Harju have shown that the omega-equivalence problem is decidable for DOL systems. We give a new proof of this result.