%0 Conference Paper %1 conf/rta/Felgenhauer12 %A Felgenhauer, Bertram %B RTA %D 2012 %E Tiwari, Ashish %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 165-175 %T Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. %U http://dblp.uni-trier.de/db/conf/rta/rta2012.html#Felgenhauer12 %V 15 %@ 978-3-939897-38-5

@inproceedings{conf/rta/Felgenhauer12, added-at = {2018-08-23T00:00:00.000+0200}, author = {Felgenhauer, Bertram}, biburl = {https://www.bibsonomy.org/bibtex/23fbcb4ad53fe0be7e17305017218a5a0/dblp}, booktitle = {RTA}, crossref = {conf/rta/2012}, editor = {Tiwari, Ashish}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2012.165}, interhash = {d9619beb55cd02c6de98e38cd6d432a6}, intrahash = {3fbcb4ad53fe0be7e17305017218a5a0}, isbn = {978-3-939897-38-5}, keywords = {dblp}, pages = {165-175}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:48:02.000+0200}, title = {Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2012.html#Felgenhauer12}, volume = 15, year = 2012 }