A1 Refereed original research article in a scientific journal
A bound for the omega-equivalence problem of polynomial dol systems
Authors: Honkala J
Publisher: E D P SCIENCES
Publication year: 2003
Journal: RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Journal name in source: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS
Journal acronym: RAIRO-THEOR INF APPL
Volume: 37
Issue: 2
First page : 149
Last page: 157
Number of pages: 9
ISSN: 1290-385X
DOI: https://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.
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.