Chen, Yijia; Flum, Jörg; Müller, Moritz A surprising relationship between descriptive complexity and proof complexity. (English) Zbl 1524.68150 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 138, 146-152 (2022). MSC: 68Q19 03F20 PDFBibTeX XMLCite \textit{Y. Chen} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 138, 146--152 (2022; Zbl 1524.68150) Full Text: Link
Flum, Jörg; Grohe, Martin Parameterized complexity and subexponential time. (English) Zbl 1169.68428 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 84, 71-100 (2004). MSC: 68Q15 PDFBibTeX XMLCite \textit{J. Flum} and \textit{M. Grohe}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 84, 71--100 (2004; Zbl 1169.68428)
Flum, Jörg Tree-decompositions and the model-checking problem. (English) Zbl 0974.68157 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 73, 78-98 (2001). MSC: 68R10 68T27 PDFBibTeX XMLCite \textit{J. Flum}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 73, 78--98 (2001; Zbl 0974.68157)