Name Card

Full name Familienname, Vorname
Mählmann, Nikolas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dreier-2023-Indiscernibles and Flatness in Monadically Stable and Monadic...-vor.pdf.jpgDreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian ; Toruńczyk, Szymon Indiscernibles and Flatness in Monadically Stable and Monadically NIP ClassesInproceedings Konferenzbeitrag 5-Jul-2023
2Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian First-Order Model Checking on Structurally Sparse Graph ClassesInproceedings Konferenzbeitrag 2-Jun-2023
3Dreier-2022-Combinatorial and Algorithmic Aspects of Monadic Stability-vor.pdf.jpgDreier, Jan ; Mählmann, Nikolas ; Mouawad, Amer ; Siebertz, Sebastian ; Vigny, Alexandre Combinatorial and Algorithmic Aspects of Monadic StabilityInproceedings Konferenzbeitrag 14-Dec-2022
4Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub ; Kreutzer, Stephan ; Mählmann, Nikolas ; Simon, Pierre ; Toruńczyk, Szymon Model Checking on Interpretations of Classes of Bounded Local CliquewidthInproceedings Konferenzbeitrag 4-Aug-2022