FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Professur für Wissensrepräsentation und -verarbeitung
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(376)
Research Grants
(10)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Unification in an extensional lambda calculus with ordered function sorts and constant overloading (1994)
Kohlhase M
Conference contribution, Original article
Keim: A toolkit for automated deduction (1994)
Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J
Conference contribution, Original article
A mechanization of strong Kleene logic for partial functions (1994)
Kerber M, Kohlhase M
Conference contribution, Original article
Adapting methods to novel tasks in proof planning (1994)
Huang X, Kerber M, Kohlhase M, Richts J
Conference contribution, Original article
UNIFICATION IN A LAMBDA-CALCULUS WITH INTERSECTION TYPES (1993)
Kohlhase M, Pfenning F
Conference contribution, Original article
Unification in order-sorted type theory (1992)
Kohlhase M
Conference contribution, Original article
‹
1
...
22
23
24
›