Regular Languages Are Church-Rosser Congruential

DSpace Repository

Regular Languages Are Church-Rosser Congruential

Author: Diekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias
Tübinger Autor(en):
Reinhardt, Klaus
Published in: Journal of The Acm (2015), Bd. 62, Article 39
Verlagsangabe: Assoc Computing Machinery
Language: English
Full text: http://dx.doi.org/10.1145/2808227
ISSN: 0004-5411
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)