Exploiting Algebraic Laws to Improve Mechanized Axiomatizations

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. In Reiko Heckel, Stefan Milius, editors, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Volume 8089 of Lecture Notes in Computer Science, pages 36-50, Springer, 2013. [doi]

Abstract

Abstract is missing.