Tero Harju
Karel Culik II and Tero Harju.
The omega-sequence equivalence problem for D0L systems is decidable.
Journal of the ACM
, 31(2):282-298, April 1984.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database