A1 Refereed original research article in a scientific journal

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




AuthorsHonkala J

PublisherE D P SCIENCES

Publication year2003

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

Journal name in sourceRAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

Journal acronymRAIRO-THEOR INF APPL

Volume37

Issue2

First page 149

Last page157

Number of pages9

ISSN1290-385X

DOIhttps://doi.org/10.1051/ita:2003015(external)


Abstract
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