Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Karel Culik II, Tero Harju. The omega-Sequence Problem for DOL Systems Is Decidable. Journal of the ACM, 31(2):282-298, 1984. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: The omega-Sequence Equivalence Problem for DOL Systems Is DecidableKarel Culik II, Tero Harju. stoc 1981: 1-6 The Decidability of the Equivalence Problem for DOL-SystemsKarel Culik II, Ivan Fris. iandc, 35(1):20-39, September 1977. The Ultimate Equivalence Problem for DOL SystemsKarel Culik II. ACTA, 10:79-84, 1978.
The following publications are possibly variants of this publication: