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


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