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)