Necessary decidable conditions for the word and equivalence problem of formal languages.

Gnter Hotz

Browse the full FCT paper archive.