Proofs as constraints for abstraction and refinement

Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Responsibility: Xiaochun Cheng, Matt Fairtlough, and Michael Mendler
Title of the compilation: Workshop on Proof Transformations, Proof Presentations and Complexities of Proof (PTP-01 Siena, Universitá degli Studi di Siena, Dipartimento di Ingegneria dell'Informatione June 19, 2001, in connection with IJCAR 2001) / U. Egly, A. Fiedler, H. Horacek, and S. Schmitt, eds. - Siena, 2001. - ( Technical report DII / Dipartimento di Ingegneria dell'Informazione, Universita degli Studi di Siena ; 12/01). - S. 1 - 11
Year of publication: 2001
Language(s): English
URL des Workshop Proof Transformation andPresentation and ProofComplexities (PTP-01) Siena, June 19, 2001:
Document Type: Contribution to an Articlecollection
Release Date: 24. September 2014