%0 Conference Paper %1 conf/fsttcs/FelgenhauerZM11 %A Felgenhauer, Bertram %A Zankl, Harald %A Middeldorp, Aart %B FSTTCS %D 2011 %E Chakraborty, Supratik %E Kumar, Amit %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 288-299 %T Layer Systems for Proving Confluence. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2011.html#FelgenhauerZM11 %V 13 %@ 978-3-939897-34-7

@inproceedings{conf/fsttcs/FelgenhauerZM11, added-at = {2018-11-30T00:00:00.000+0100}, author = {Felgenhauer, Bertram and Zankl, Harald and Middeldorp, Aart}, biburl = {https://www.bibsonomy.org/bibtex/2094f0a06e25d6ec0b4c9eef5b249340b/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2011}, editor = {Chakraborty, Supratik and Kumar, Amit}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.288}, interhash = {77ec88e2b853166458d25f3a47cef8b0}, intrahash = {094f0a06e25d6ec0b4c9eef5b249340b}, isbn = {978-3-939897-34-7}, keywords = {dblp}, pages = {288-299}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:46:00.000+0200}, title = {Layer Systems for Proving Confluence.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2011.html#FelgenhauerZM11}, volume = 13, year = 2011 }