Keyword:equational reasoning

Publications
The Aspect Calculus David Plaisted EasyChair Preprint 1256
The Weak Completion Semantics and Equality Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz and Lim 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 Rosen and Nick Smallbone In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation