THE OMEGA-SEQUENCE EQUIVALENCE PROBLEM FOR DOL SYSTEMS IS DECIDABLE

: CULIK K, HARJU T

Publisher: ASSOC COMPUTING MACHINERY

: 1984

Journal- ACM

JOURNAL OF THE ACM

: J ACM

: 31

: 2

: 282

: 298

: 17

: 0004-5411

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