08. November 2024 08.11.2024 13:30 Dr. Rodrigo Raya, TU Kaiserslautern und Max-Planck Institute for Software Systems " Learning and Interpreting Register Automata" Universität Ulm 08. November 2024 Universität Ulm Vorheriger Beitrag 11.10.2024 13:30 Tomke Klein "Lyndon words and trees: Algorithms and Data Structures" veröffentlicht am: 07. Oktober 2024 Nächster Beitrag 15.11.2024 13:30 Hanna Kessel "Lineare Resolution" veröffentlicht am: 08. November 2024
11.10.2024 13:30 Tomke Klein "Lyndon words and trees: Algorithms and Data Structures" veröffentlicht am: 07. Oktober 2024