A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

The DOL omega-equivalence problem




TekijätHonkala J

KustantajaWORLD SCIENTIFIC PUBL CO PTE LTD

Julkaisuvuosi2007

JournalInternational Journal of Foundations of Computer Science

Tietokannassa oleva lehden nimiINTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE

Lehden akronyymiINT J FOUND COMPUT S

Vuosikerta18

Numero1

Aloitussivu181

Lopetussivu194

Sivujen määrä14

ISSN0129-0541

DOIhttps://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.



Last updated on 2024-26-11 at 23:09