Karel Culik II
K. Culik II.
A purely homomorphic characterization of recursively enumerable sets.
Journal of the ACM
, 26(2):345-350, April 1979.
Citations.
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