Searching for authors named Michael Kohlhase – sorted by Relevance.
-
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

