A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. Felgenhauer, B.; Middeldorp, A.; Prathamesh, T. V. H.; and Rapp, F. In Mahboubi, A. and Myreen, M. O., editors, CPP, pages 132-143, 2019. ACM.
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. [link]Link  A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. [link]Paper  bibtex   
@inproceedings{conf/cpp/FelgenhauerMPR19,
  added-at = {2019-09-25T00:00:00.000+0200},
  author = {Felgenhauer, Bertram and Middeldorp, Aart and Prathamesh, T. V. H. and Rapp, Franziska},
  biburl = {https://www.bibsonomy.org/bibtex/268196fda331ac02e8e42bc14c437043a/dblp},
  booktitle = {CPP},
  crossref = {conf/cpp/2019},
  editor = {Mahboubi, Assia and Myreen, Magnus O.},
  ee = {https://doi.org/10.1145/3293880.3294098},
  interhash = {c9cb1c547233eb2f5acbbae7414a0f98},
  intrahash = {68196fda331ac02e8e42bc14c437043a},
  isbn = {978-1-4503-6222-1},
  keywords = {dblp},
  pages = {132-143},
  publisher = {ACM},
  timestamp = {2019-09-26T13:20:18.000+0200},
  title = {A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.},
  url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#FelgenhauerMPR19},
  year = 2019
}
Downloads: 0