A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
A bound for the omega-equivalence problem of polynomial dol systems
Tekijät: Honkala J
Kustantaja: E D P SCIENCES
Julkaisuvuosi: 2003
Journal: RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Tietokannassa oleva lehden nimi: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS
Lehden akronyymi: RAIRO-THEOR INF APPL
Vuosikerta: 37
Numero: 2
Aloitussivu: 149
Lopetussivu: 157
Sivujen määrä: 9
ISSN: 1290-385X
DOI: https://doi.org/10.1051/ita:2003015
Tiivistelmä
We give a bound for the omega-equivalence problem of poly-nomially bounded DOL systems which depends only on the size of the underlying alphabet.
We give a bound for the omega-equivalence problem of poly-nomially bounded DOL systems which depends only on the size of the underlying alphabet.