On the Ordered Conjecture

DOI10.1109/LICS.2012.33zbMath1362.68086OpenAlexW1987288831MaRDI QIDQ2986799

Yijia Chen, Jörg Flum

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.33

zbMATH Keywords

treewidthcliquewidthleast fixed-point logicordered conjecture

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Related Items

Bounded Treewidth and Space-Efficient Linear Algebra ⋮ The Treewidth and Pathwidth of Graph Unions