A Short Tutorial on Order-Invariant First-Order Logic
From MaRDI portal
Publication:4928477
DOI10.1007/978-3-642-38536-0_10zbMath1381.03027OpenAlexW125116438MaRDI QIDQ4928477
Publication date: 14 June 2013
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38536-0_10
Database theory (68P15) Logic in computer science (03B70) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)
Related Items (3)
On the locality of arb-invariant first-order formulas with modulo counting quantifiers ⋮ First-order definitions of subgraph isomorphism through the adjacency and order relations ⋮ The descriptive complexity of subgraph isomorphism without numerics
This page was built for publication: A Short Tutorial on Order-Invariant First-Order Logic
