Publication:5145657: Difference between revisions
From MaRDI portal
Publication:5145657
Created automatically from import240129110113 |
EloiFerrer (talk | contribs) m EloiFerrer moved page Successor-Invariant First-Order Logic on Classes of Bounded Degree to Successor-Invariant First-Order Logic on Classes of Bounded Degree: Duplicate |
(No difference)
|
Latest revision as of 16:12, 2 May 2024
DOI10.1145/3373718.3394767zbMath1498.03069arXiv2009.11758MaRDI QIDQ5145657
Publication date: 21 January 2021
Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2009.11758
03B10: Classical first-order logic
03C13: Model theory of finite structures
03C40: Interpolation, preservation, definability
68Q19: Descriptive complexity and finite models