No. Title Author Year
1 Formalized Proof Systems for Propositional Logic Michaelis, Julius et al. 2018
2 Verified Analysis of Functional Data Structures Nipkow, Tobias 2016
3 Verified Analysis of List Update Algorithms Haslbeck, Maximilian P. L. et al. 2016
4 Deduction and Arithmetic (Dagstuhl Seminar 13411) Bjorner, Nikolaj et al. 2014
5 09411 Abstracts Collection -- Interaction versus Automation: The two Faces of Deduction Ball, Thomas et al. 2010
6 09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions Ball, Thomas et al. 2010
7 Towards a Verified Enumeration of All Tame Plane Graphs Nipkow, Tobias et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI