Jana Hofmann. Logische Methoden für die Hierarchie der Hyperlogiken. In Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann 0001, Nicole Schweikardt, Klaus Wehrle, editors, Ausgezeichnete Informatikdissertationen 2022. Volume D-23 of LNI, pages 101-110, GI, 2022. [doi]
Abstract is missing.