The Sequence Equivalence Problem for D0L Systems is Decidable

Karel Culik II, Ivan Fris. The Sequence Equivalence Problem for D0L Systems is Decidable. In Arto Salomaa, Magnus Steinby, editors, Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Volume 52 of Lecture Notes in Computer Science, pages 148-163, Springer, 1977.

Authors

Karel Culik II

This author has not been identified. Look up 'Karel Culik II' in Google

Ivan Fris

This author has not been identified. Look up 'Ivan Fris' in Google