An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

DOI10.1109/LICS.2013.11zbMath1366.03212MaRDI QIDQ5271041

Lucas Heimberg, Nicole Schweikardt, Dietrich Kuske

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

first-order logicmodel theorycomputational logicstructures of bounded degreeGaifman's locality theorem

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical first-order logic (03B10) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ The uniform measure of simple regular sets of infinite trees

This page was built for publication: An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree