default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive of Formal Proofs, Volume 2010
Volume 2010, 2010
- Andreas Lochbihler:
Coinductive. - Tobias Nipkow:
List Index. - Daniel Wasserrab:
Information Flow Noninterference via Slicing. - Brian Huffman:
Free Boolean Algebra. - Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof:
Locally Nameless Sigma Calculus. - Alexander Krauss, Tobias Nipkow:
Regular Sets and Expressions. - Matthew Wampler-Doty:
A Complete Proof of the Robbins Conjecture. - Viorel Preoteasa, Ralph-Johan Back:
Semantics and Data Refinement of Invariant Based Programs. - Viorel Preoteasa, Ralph-Johan Back:
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. - Christian Sternagel, René Thiemann:
Abstract Rewriting. - Christian Sternagel, René Thiemann:
Executable Matrix Operations on Matrices of Arbitrary Dimensions. - Alexander Katovsky:
Category Theory. - Joachim Breitner:
Free Groups. - Steffen Helke, Florian Kammüller:
Formalizing Statecharts using Hierarchical Automata. - Christian Sternagel, René Thiemann:
Executable Multivariate Polynomials. - Christian Doczkal:
Strong Normalization of Moggis's Computational Metalanguage. - Benedikt Nordhoff, Stefan Körner, Peter Lammich:
Finger Trees. - Rene Meis, Finn Nielsen, Peter Lammich:
Binomial Heaps and Skew Binomial Heaps. - René Neumann:
Functional Binomial Queues. - Joachim Breitner:
Shivers' Control Flow Analysis. - Dongchen Jiang, Tobias Nipkow:
Hall's Marriage Theorem.
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 2025-12-09 00:12 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:
