Keyword:equational reasoning

Papers
The Aspect Calculus David Plaisted EasyChair Preprint no. 1256
The Weak Completion Semantics and Equality Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz and L. Yohanes Stefanus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
HipSpec : Automating Inductive Proofs of Program Properties Koen Claessen, Moa Johansson, Dan Rosén and Nicholas Smallbone In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation