Markus Wenzel

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Markus Wenzel, Freek Wiedijk
A Comparison of Mizar and Isar. J. Autom. Reason. 29 (3-4) (2002)
Gertrud Bauer, Markus Wenzel
Calculational Reasoning Revisited (An Isabelle/Isar Experience). TPHOLs (2001)
Stefan Berghofer, Markus Wenzel
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering. TPHOLs (1999)
Gertrud Bauer, Markus Wenzel
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). TYPES (1999)
Markus Wenzel
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. TPHOLs (1999)
Florian Kammüller, Markus Wenzel, Lawrence C. Paulson
Locales - A Sectioning Concept for Isabelle. TPHOLs (1999)
Wolfgang Naraschewski, Markus Wenzel
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. TPHOLs (1998)
Markus Wenzel
Type Classes and Overloading in Higher-Order Logic. TPHOLs (1997)