Martin Otto
Mathematiker,
Physiker,
Hochschullehrer
Geboren:
1961
Hat mitgewirkt an:
-
Bounded variable logics and counting : a study in finite models
-
Linear equation systems and the search for a logical characterisation of polynomial time
-
Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches
-
Logics with invariantly used relations