|
Search the dblp DataBase
Makarius Wenzel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Makarius Wenzel
Structured Induction Proofs in Isabelle/Isar. [Citation Graph (0, 0)][DBLP] MKM, 2006, pp:17-30 [Conf]
- Amine Chaieb, Makarius Wenzel
Context Aware Calculation and Deduction. [Citation Graph (0, 0)][DBLP] Calculemus/MKM, 2007, pp:27-39 [Conf]
- Makarius Wenzel, Burkhart Wolff
Building Formal Method Tools in the Isabelle/Isar Framework. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:352-367 [Conf]
- Florian Haftmann, Makarius Wenzel
Constructive Type Classes in Isabelle. [Citation Graph (0, 0)][DBLP] TYPES, 2006, pp:160-174 [Conf]
Logic-Free Reasoning in Isabelle/Isar. [Citation Graph (, )][DBLP]
Efficient parallel programming in Poly/ML and Isabelle/ML. [Citation Graph (, )][DBLP]
The Isabelle Framework. [Citation Graph (, )][DBLP]
Local Theory Specifications in Isabelle/Isar. [Citation Graph (, )][DBLP]
State Spaces - The Locale Way. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|