Toru\'{n}czyk, Szymon | AC Group | TU Wienhttps://ac.notready.eu/author/toru%5Cnczyk-szymon/Toru\'{n}czyk, SzymonHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2025 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngToru\'{n}czyk, Szymonhttps://ac.notready.eu/author/toru%5Cnczyk-szymon/Merge-Width and First-Order Model Checkinghttps://ac.notready.eu/publication/merge-width-and-first-order-model-checking/Wed, 01 Jan 2025 00:00:00 +0000https://ac.notready.eu/publication/merge-width-and-first-order-model-checking/Model Checking on Interpretations of Classes of Bounded Local Cliquewidthhttps://ac.notready.eu/publication/model-checking-on-interpretations-of-classes-of-bounded-local-cliquewidth/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/model-checking-on-interpretations-of-classes-of-bounded-local-cliquewidth/Treelike Decompositions for Transductions of Sparse Graphshttps://ac.notready.eu/publication/treelike-decompositions-for-transductions-of-sparse-graphs/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/treelike-decompositions-for-transductions-of-sparse-graphs/