A1 Refereed original research article in a scientific journal

The DOL omega-equivalence problem




AuthorsHonkala J

PublisherWORLD SCIENTIFIC PUBL CO PTE LTD

Publication year2007

JournalInternational Journal of Foundations of Computer Science

Journal name in sourceINTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE

Journal acronymINT J FOUND COMPUT S

Volume18

Issue1

First page 181

Last page194

Number of pages14

ISSN0129-0541

DOIhttps://doi.org/10.1142/S0129054107004620(external)


Abstract
Culik II and Harju have shown that the omega-equivalence problem is decidable for DOL systems. We give a new proof of this result.



Last updated on 2024-26-11 at 23:09