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

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