Nikolas Mählmann

1. First-Order Model Checking on Structurally Sparse Graph Classes
   2023/02/07 by Jan Dreier, Dreier, Jan, Nikolas Mählmann +3 · 2 citations
   Computer Science · #Complexity and Algorithms in Graphs #Formal Methods in Verification #Logic, Reasoning, and Knowledge
2. Fatness and Flatness
   2026/07/23 by Arnold Filtser, Hung Le, Nikolas Mählmann +2
   #math.CO #cs.DM #cs.DS #math.MG
3. Hereditary 2-WQO Graph Classes Have Bounded Clique-Width
   2026/07/26 by Julien Duron, Nikolas Mählmann, Szymon Toruńczyk
   #math.CO #cs.DM #cs.LO