%0 Journal Article %1 diekert2015regular %A Diekert, Volker %A Kufleitner, Manfred %A Reinhardt, Klaus %A Walter, Tobias %D 2015 %I Association for Computing Machinery %J Journal of the ACM %K %N 5 %P 39:1-39:20 %R 10.1145/2808227 %T Regular languages are church-rosser congruential %V 62

@article{diekert2015regular, added-at = {2023-08-31T15:03:08.000+0200}, author = {Diekert, Volker and Kufleitner, Manfred and Reinhardt, Klaus and Walter, Tobias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2195e52e7b1bc93d7a8737dd94f32f5bd/puma-wartung}, doi = {10.1145/2808227}, interhash = {90d3a2bfce06c066baf47123a39002fc}, intrahash = {195e52e7b1bc93d7a8737dd94f32f5bd}, issn = {{1557-735X} and {0004-5411}}, journal = {Journal of the ACM}, keywords = {}, language = {eng}, number = 5, pages = {39:1-39:20}, publisher = {Association for Computing Machinery}, timestamp = {2023-08-31T13:03:08.000+0200}, title = {Regular languages are church-rosser congruential}, volume = 62, year = 2015 }