A1 Refereed original research article in a scientific journal
The DOL omega-equivalence problem
Authors: Honkala J
Publisher: WORLD SCIENTIFIC PUBL CO PTE LTD
Publication year: 2007
Journal: International Journal of Foundations of Computer Science
Journal name in source: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Journal acronym: INT J FOUND COMPUT S
Volume: 18
Issue: 1
First page : 181
Last page: 194
Number of pages: 14
ISSN: 0129-0541
DOI: https://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.
Culik II and Harju have shown that the omega-equivalence problem is decidable for DOL systems. We give a new proof of this result.