Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck

Wolfram Kahl. Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. In Jules Desharnais, Walter Guttmann, Stef Joosten, editors, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Volume 11194 of Lecture Notes in Computer Science, pages 366-384, Springer, 2018. [doi]

Abstract

Abstract is missing.