Archive of Formal Proofs, Volume 2004
Volume 2004, 2004
Gerwin Klein: Example Submission.- Tobias Nipkow: Functional Automata.
- Viktor Kuncak: Binary Search Trees.
- Stefan Friedrich: Lazy Lists II.
- Stefan Friedrich: Topology.
- Tobias Nipkow: Compiling Exceptions Correctly.
- Tom Ridge: Ramsey's theorem, infinitary version.
- Tom Ridge: A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic.
- Stefan Richter: Integration theory and random variables.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-10T213129 by the dblp team