Archive of Formal Proofs, Volume 2008
Volume 2008, 2008
Tobias Nipkow: Quantifier Elimination for Linear Arithmetic.- Norbert Schirmer: A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment.
- Michael Nedzelsky: Recursion Theory I.
- Filip Maric: Formal Verification of Modern SAT Solvers.
- Tobias Nipkow: Fun With Functions.
- Tobias Nipkow: Arrow and Gibbard-Satterthwaite.
- Gregor Snelting, Daniel Wasserrab: A Correctness Proof for the Volpano/Smith Security Typing System.
- Daniel Wasserrab: Towards Certified Slicing.
- Jasmin Christian Blanchette: The Textbook Proof of Huffman's Algorithm.
- Peter Gammie: Some classical results in Social Choice Theory.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team