A1 Refereed original research article in a scientific journal

THE OMEGA-SEQUENCE EQUIVALENCE PROBLEM FOR DOL SYSTEMS IS DECIDABLE

Authors: CULIK K, HARJU T

Publisher: ASSOC COMPUTING MACHINERY

Publication year: 1984

Journal:: Journal- ACM

Journal name in source: JOURNAL OF THE ACM

Journal acronym: J ACM

Volume: 31

Issue: 2

First page : 282

Last page: 298

Number of pages: 17

ISSN: 0004-5411

DOI: https://doi.org/10.1145/62.2161