default search action
Archive of Formal Proofs, Volume 2009
Volume 2009, 2009
- Brian Huffman:
Stream Fusion. - Andreas Lochbihler:
Code Generation for Functions as Data. - Bart Kastermans:
An Example of a Cofinitary Group in Isabelle/HOL. - Peter Chapman:
Invertibility in Sequent Calculi. - Andrei Popescu:
Ordinals and Cardinals. - Peter Gammie:
The Worker/Wrapper Transformation. - Daniel Wasserrab:
Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer. - Mark IJbema:
Perfect Number Theorem. - Peter Lammich:
Collections Framework. - Peter Lammich:
Tree Automata. - Stefan Berghofer, Markus Reiter:
Formalizing the Logic-Automaton Connection. - Armin Heller:
A Fast SAT Solver for Isabelle in Standard ML.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: