Searching for authors named "Markus Wenzel" – sorted by Relevance.
-
Miscellaneous Isabelle/Isar examples for Higher-Order Logic
- Miscellaneous Isabelle/Isar examples for Higher-Order Logic Markus Wenzel http
- Cited by 3 (1 self) – Add To MetaCart
-
Some aspects of Unix file-system security
- Some aspects of Unix file-system security Markus Wenzel TU München January 24, 2001 Abstract Unix
- Add To MetaCart
-
A Comparison of Mizar and Isar
- A comparison of Mizar and Isar Markus Wenzel (wenzelm@(email omitted);) ∗ Institut für Informatik
- Cited by 6 (0 self) – Add To MetaCart
-
The Isabelle/Isar Reference Manual
- = ∀ Isabelle Isar → λ β The Isabelle/Isar Reference Manual α Markus Wenzel TU München 22 November
- Cited by 24 (6 self) – Add To MetaCart
-
Using Axiomatic Type Classes in Isabelle
- = ∀ Isabelle Isar → λ β Using Axiomatic Type Classes in Isabelle α Markus Wenzel TU München 6
- Cited by 2 (1 self) – Add To MetaCart
-
A Comparison of the Mathematical Proof Languages Mizar and Isar
- A comparison of the mathematical proof languages Mizar and Isar Markus Wenzel (wenzelm
- Cited by 9 (4 self) – Add To MetaCart
-
Object-Oriented Verification based on Record Subtyping in Higher-Order Logic
- and Markus Wenzel Technische Universitat Munchen Institut fur Informatik, Arcisstrae 21, 80290 Munchen
- Cited by 28 (7 self) – Add To MetaCart
-
Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering
- and Markus Wenzel Technische Universitat Munchen Institut fur Informatik, Arcisstrae 21, 80290 Munchen
- Cited by 19 (5 self) – Add To MetaCart
-
λ β The Isabelle System Manual
- = ∀ Isabelle → λ β The Isabelle System Manual Markus Wenzel and Stefan Berghofer TU München α
- Add To MetaCart
-
The Isabelle Reference Manual
- @(email omitted); With Contributions by Tobias Nipkow and Markus Wenzel 1 8 December 1997 1 Tobias Nipkow, of T. U. Munich, wrote
- Cited by 48 (2 self) – Add To MetaCart

