Statistics
Publications
42
Citations
1.3K
H-Index
21
Active since
1992
Michael Kohlhase is an author at Constructor University specializing in computer science, computing, and mathematics.
Publications per year
1992–2024
42
42
Higher-order semantics and extensionality
Christoph Benzmüller, Chad E. Brown, Michael Kohlhase · Journal of Symbolic Logic · 2004 · 111 citations
Florian Rabe, Michael Kohlhase · Information and Computation · 2013 · 98 citations
Inference and Computational Semantics
Hans de Nivelle, Patrick Blackburn, Johan Bos et al. · Max Planck Institute for Plasma Physics · 2001 · 58 citations
Computing, Computer Science, Logic +11
1–5 of 42