Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, Jürgen Giesl. Termination of Isabelle Functions via Termination of Rewriting. In Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Volume 6898 of Lecture Notes in Computer Science, pages 152-167, Springer, 2011. [doi]
@inproceedings{KraussSTFG11, title = {Termination of Isabelle Functions via Termination of Rewriting}, author = {Alexander Krauss and Christian Sternagel and René Thiemann and Carsten Fuhs and Jürgen Giesl}, year = {2011}, doi = {10.1007/978-3-642-22863-6_13}, url = {http://dx.doi.org/10.1007/978-3-642-22863-6_13}, tags = {termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/KraussSTFG11}, cites = {0}, citedby = {0}, pages = {152-167}, booktitle = {Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings}, editor = {Marko C. J. D. van Eekelen and Herman Geuvers and Julien Schmaltz and Freek Wiedijk}, volume = {6898}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-22862-9}, }