Universal Structures and the Logic of Forbidden Patterns
From MaRDI portal
Publication:3613358
DOI10.1007/11874683_31zbMath1225.68094arXiv0904.2521MaRDI QIDQ3613358
Publication date: 12 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0904.2521
duality; monadic second-order logic; graph homomorphism; constraint satisfaction; finite model theory
Related Items