Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.