Searching for authors named "Markus Wenzel" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
