%0 Conference Paper %1 conf/wia/MrazO13 %A Mráz, Frantisek %A Otto, Friedrich %B CIAA %D 2013 %E Konstantinidis, Stavros %I Springer %K dblp %P 256-267 %T Lambda-Confluence Is Undecidable for Clearing Restarting Automata. %U http://dblp.uni-trier.de/db/conf/wia/ciaa2013.html#MrazO13 %V 7982 %@ 978-3-642-39273-3

@inproceedings{conf/wia/MrazO13, added-at = {2017-06-05T00:00:00.000+0200}, author = {Mráz, Frantisek and Otto, Friedrich}, biburl = {https://www.bibsonomy.org/bibtex/243aa91e6d665b10d687a6fff86ce5f30/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2013}, editor = {Konstantinidis, Stavros}, ee = {https://doi.org/10.1007/978-3-642-39274-0_23}, interhash = {e6f4669c5633b5f89a66deb80da6d0bf}, intrahash = {43aa91e6d665b10d687a6fff86ce5f30}, isbn = {978-3-642-39273-3}, keywords = {dblp}, pages = {256-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:58:12.000+0200}, title = {Lambda-Confluence Is Undecidable for Clearing Restarting Automata.}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2013.html#MrazO13}, volume = 7982, year = 2013 }