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


DROPS-Home | Imprint | Privacy Published by LZI