Zum Inhalt springen
-
Princeton: Univ., 1968
-
Magdeburg: Fak. für Mathematik, Otto-von-Guericke-Univ., 1997
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
-
Justus-Liebig-Universität Gießen; FB 07 - Mathematik und Informatik, Physik, Geographie. Informatik, 2019
-
[S.l.]: SSRN, 2000
-
Elsevier BV, 2012
-
MDPI AG, 2023
-
Elsevier BV, 2020
-
Elsevier BV, 2015
-
Cambridge University Press (CUP), 2003
-
The Association for Symbolic Logic, Inc., 2003
-
ASME International, 2002
-
Elsevier BV, 1997
-
Mathematical Sciences Publishers, 1974
-
Mathematical Sciences Publishers, 1974
-
AkiNik Publications, 2014
-
Pleiades Publishing Ltd, 2019