Toruńczyk, Szymon

Recent Publications

Merge-Width and First-Order Model Checking

2025

First-Order Model Checking on Monadically Stable Graph Classes

2024

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

2022

Treelike Decompositions for Transductions of Sparse Graphs

2022