Picture for Michael Kohlhase

Michael Kohlhase

Computer Science, FAU Erlangen-Nürnberg

GF + MMT = GLF -- From Language to Semantics through LF

Add code
Oct 24, 2019
Figure 1 for GF + MMT = GLF -- From Language to Semantics through LF
Figure 2 for GF + MMT = GLF -- From Language to Semantics through LF
Figure 3 for GF + MMT = GLF -- From Language to Semantics through LF
Figure 4 for GF + MMT = GLF -- From Language to Semantics through LF
Viaarxiv icon

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal

Add code
Apr 23, 2019
Figure 1 for Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Figure 2 for Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Viaarxiv icon

sTeX+ - a System for Flexible Formalization of Linked Data

Add code
Jun 23, 2010
Figure 1 for sTeX+ - a System for Flexible Formalization of Linked Data
Figure 2 for sTeX+ - a System for Flexible Formalization of Linked Data
Figure 3 for sTeX+ - a System for Flexible Formalization of Linked Data
Figure 4 for sTeX+ - a System for Flexible Formalization of Linked Data
Viaarxiv icon

Dimensions of Formality: A Case Study for MKM in Software Engineering

Add code
Apr 28, 2010
Figure 1 for Dimensions of Formality: A Case Study for MKM in Software Engineering
Figure 2 for Dimensions of Formality: A Case Study for MKM in Software Engineering
Figure 3 for Dimensions of Formality: A Case Study for MKM in Software Engineering
Figure 4 for Dimensions of Formality: A Case Study for MKM in Software Engineering
Viaarxiv icon

Publishing Math Lecture Notes as Linked Data

Add code
Apr 20, 2010
Viaarxiv icon

Cut-Simulation and Impredicativity

Add code
Mar 02, 2009
Figure 1 for Cut-Simulation and Impredicativity
Figure 2 for Cut-Simulation and Impredicativity
Figure 3 for Cut-Simulation and Impredicativity
Viaarxiv icon

Computing Parallelism in Discourse

Add code
May 01, 1997
Figure 1 for Computing Parallelism in Discourse
Figure 2 for Computing Parallelism in Discourse
Figure 3 for Computing Parallelism in Discourse
Figure 4 for Computing Parallelism in Discourse
Viaarxiv icon

Corrections and Higher-Order Unification

Add code
Sep 02, 1996
Viaarxiv icon

Focus and Higher-Order Unification

Add code
May 02, 1996
Viaarxiv icon

Higher-Order Coloured Unification and Natural Language Semantics

Add code
May 02, 1996
Viaarxiv icon