Universal Structures and the logic of Forbidden Patterns
From MaRDI portal
Publication:3636812
DOI10.2168/LMCS-5(2:13)2009zbMath1163.68019MaRDI QIDQ3636812
Publication date: 30 June 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Model theory of finite structures (03C13)
Related Items
On guarded extensions of MMSNP ⋮ A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP ⋮ Unnamed Item