The Equivalence Problem of E-Pattern Languages with Length Constraints Is Undecidable.

Dirk Nowotka, Max Wiedenhft

Browse the full CPM paper archive.