von Helge Schnack ; Johanna Sophie Lubasch ; Sarah Anna Katharina Uthoff ; Anna Zinkevich ; Milena von Kutzleben ; Sebastian Specht ; Markus Antonius Wirtz ; Olaf von dem Knesebeck ; Lena Ansmann
Logical methods in computer science Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2004 21(2025), 1, Seite 1-27 Online-Ressource
von Nils Nicholas Hecht ; Daisy Haddad ; Konrad Neumann ; Leonie Schumm ; Nora Dengler ; Lars Wessels ; Patrick Dömer ; Simeon Helgers ; Franziska Meinert ; Sebastian Major ; Coline L. Lemale ; Jens P. Dreier ; Peter Vajkoczy ; Johannes Woitzik