%0 Conference Paper %1 conf/cpp/LochmannMMF21 %A Lochmann, Alexander %A Middeldorp, Aart %A Mitterwallner, Fabian %A Felgenhauer, Bertram %B CPP %D 2021 %E Hritcu, Catalin %E Popescu, Andrei %I ACM %K dblp %P 250-263 %T A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2021.html#LochmannMMF21 %@ 978-1-4503-8299-1

@inproceedings{conf/cpp/LochmannMMF21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Lochmann, Alexander and Middeldorp, Aart and Mitterwallner, Fabian and Felgenhauer, Bertram}, biburl = {https://www.bibsonomy.org/bibtex/2c50f91b5a91c8861517c55dd4a97df89/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2021}, editor = {Hritcu, Catalin and Popescu, Andrei}, ee = {https://doi.org/10.1145/3437992.3439918}, interhash = {8d21602ba9c45eba0d201849307cfba6}, intrahash = {c50f91b5a91c8861517c55dd4a97df89}, isbn = {978-1-4503-8299-1}, keywords = {dblp}, pages = {250-263}, publisher = {ACM}, timestamp = {2024-04-09T22:48:42.000+0200}, title = {A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2021.html#LochmannMMF21}, year = 2021 }