Searching for authors named Michael Kohlhase – sorted by Relevance.
86 documents found, showing 1 through 10.
Next 10 →
-
Unification in a Sorted λ-Calculus with Term Declarations and Function Sorts
- …Unication in a Sorted -Calculus with Term Declarations and Function Sorts Michael Kohlhase ? FB…
- Add To MetaCart
-
Model Generation for Discourse Representation Theory
- …Model Generation for Discourse Representation Theory Michael Kohlhase 1 Abstract. We present a…
- Cited by 7 (2 self) – Add To MetaCart
-
Higher-Order Order-Sorted Resolution
- …Higher-Order Order-Sorted Resolution Michael Kohlhase Fachbereich Informatik, Universitat des…
- Cited by 1 (1 self) – Add To MetaCart
-
Unification in a Sorted λ-Calculus with Term Declarations and Function Sorts
- …Unication in a Sorted -Calculus with Term Declarations and Function Sorts Michael Kohlhase ? FB…
- Add To MetaCart
-
Higher-Order Tableaux
- …://js-sfbsun.cs.uni-sb.de/pub/www/ Higher-Order Tableaux Michael Kohlhase Published as: To appear at the Tableau-Workshop 1995, Koblenz…
- Cited by 14 (5 self) – Add To MetaCart
-
Higher-Order Automated Theorem Proving
- …MICHAEL KOHLHASE CHAPTER 13 HIGHER-ORDER AUTOMATED THEOREM PROVING 1. INTRODUCTION The history…
- Cited by 4 (1 self) – Add To MetaCart
-
OMDoc an open markup format for mathematical documents (version 1.2
- …Michael Kohlhase Computer Science International University Bremen m.kohlhase@(email omitted); An Open…
- Cited by 61 (12 self) – Add To MetaCart
-
Towards a Dynamic Type Theory
- …Towards a Dynamic Type Theory Michael Kohlhase and Susanna Kuschert Universitat des Saarlandes…
- Add To MetaCart
-
Model Existence for Higher Order Logic
- …Model Existence for Higher Order Logic Christoph Benzmuller and Michael Kohlhase Fachbereich…
- Add To MetaCart
-
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
- …A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle Abstract Michael…
- Cited by 23 (13 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
