The omega-Sequence Equivalence Problem for DOL Systems Is Decidable

Karel Culk II, Tero Harju

Browse the full STOC paper archive.