An undecidability result for regular languages and its applications to regulated rewriting

Hinz, F.; Dassow, J.

Leiden : EATCS (1989)
Journal Article

In: Bulletin of the European Association for Theoretical Computer Science
Volume: 38
Page(s)/Article-Nr.: 168-173

Identifier