Regular Languages Are Church-Rosser Congruential

Autor(en):

Diekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias

Tübinger Autor(en):

Erschienen in:

Journal of The Acm (2015), Bd. 62, Article 39

Verlagsangabe:

Assoc Computing Machinery

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0004-5411

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: