A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

A bound for the omega-equivalence problem of polynomial dol systems




TekijätHonkala J

KustantajaE D P SCIENCES

Julkaisuvuosi2003

JournalRAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications

Tietokannassa oleva lehden nimiRAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

Lehden akronyymiRAIRO-THEOR INF APPL

Vuosikerta37

Numero2

Aloitussivu149

Lopetussivu157

Sivujen määrä9

ISSN1290-385X

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



Last updated on 2024-26-11 at 11:24