Zum Inhalt springen
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
-
Dresden: Technische Universität Dresden, 2022
-
[Erscheinungsort nicht ermittelbar]: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery, 2019
-
Springer Berlin Heidelberg, 1993
-
Cambridge University Press (CUP), 1997
-
Association for Symbolic Logic, Inc., 1997
-
Elsevier BV, 1992
-
Springer International Publishing, 2018
-
Springer Science and Business Media LLC, 2012
-
Springer Berlin Heidelberg, 2001
-
Springer International Publishing, 2016