Equational Reasoning via Partial Reflection

by H. Geuvers , F. Wiedijk , J. Zwanenburg
Citations:11 - 7 self

Documents Related by Co-Citation

9 Equational reasoning via partial re – H Geuvers, F Wiedijk, J Zwanenburg - 2000
413 Vulnerabilities Analysis – Matt Bishop - 1999
14 The algebraic hierarchy of the FTA Project – Herman Geuvers, Y Pollack, Freek Wiedijk, Jan Zwanenburg - 2002
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
396 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik – Kurt Gödel - 1931
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996