Searching for authors named Tobias Nipkow – sorted by Relevance.
63 documents found, showing 1 through 10.
Next 10 →
-
Isabelle HOL - The Tutorial
- …l " = Isabelle b a HOL The Tutorial | DRAFT | Tobias Nipkow Technische Universitat M…
- Add To MetaCart
-
Verified Lexical Analysis
- …Verified Lexical Analysis Tobias Nipkow Technische Universitat Munchen Institut fur Informatik…
- Cited by 7 (1 self) – Add To MetaCart
-
Higher-order unification, polymorphism, and subsorts (extended abstract
- …Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract) Tobias Nipkow…
- Cited by 3 (0 self) – Add To MetaCart
-
Verifying a hotel key card system
- …Verifying a Hotel Key Card System ∗ Tobias Nipkow Institut für Informatik, TU München September 21…
- Cited by 1 (0 self) – Add To MetaCart
-
Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic
- …Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic Tobias Nipkow…
- Add To MetaCart
-
More Church-Rosser Proofs (in Isabelle/HOL)
- …More Church-Rosser Proofs (in Isabelle/HOL) Tobias Nipkow ? Technische Universitat Munchen…
- Cited by 31 (4 self) – Add To MetaCart
-
Structured Proofs in Isar/HOL
- …Structured Proofs in Isar/HOL Tobias Nipkow Institut für Informatik, TU München http…
- Cited by 31 (4 self) – Add To MetaCart
-
A Tutorial Introduction to Structured Isar Proofs
- …A Tutorial Introduction to Structured Isar Proofs Tobias Nipkow Institut für Informatik, TU…
- Add To MetaCart
-
Winskel is (almost) Right - Towards a Mechanized Semantics Textbook
- … Mechanized Semantics Textbook Tobias Nipkow 1 Institut fur Informatik, Technische Universitat Munchen…
- Cited by 34 (12 self) – Add To MetaCart
-
Nominal Verification of Algorithm W
- …Nominal Verification of Algorithm W Christian Urban and Tobias Nipkow March 18, 2008 Abstract…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
