![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Archive 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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.