Wolfgang Naraschewski

According to our database, Wolfgang Naraschewski authored at least 6 papers between 1997 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Mini ML.

Wolfgang Naraschewski, Tobias Nipkow

Arch. Formal Proofs, 2004

2001

Teams as types: a formal treatment of authorisation in groupware.

Wolfgang Naraschewski

PhD thesis, 2001

1999

Type Inference Verified: Algorithm W in Isabelle/HOL.

Wolfgang Naraschewski, Tobias Nipkow

J. Autom. Reason., 1999

1998

Inheritance of Proofs.

Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup

Theory Pract. Object Syst., 1998

Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.

Wolfgang Naraschewski, Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Towards an Object-Oriented Progification Language.

Wolfgang Naraschewski

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997