Order-Invariant First-Order Logic over Hollow Trees

DOI10.4230/LIPICS.CSL.2020.23OpenAlexW2979740680MaRDI QIDQ5874209FDOQ5874209

Luc Segoufin, Julien Grange

Publication date: 7 February 2023

Full work available at URL: https://hal.inria.fr/hal-02310749

zbMATH Keywords

first-order logicorder-invariance

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited In (3)

• First-order logic on finite trees
• Succinctness of Order-Invariant Logics on Depth-Bounded Structures
• Successor-Invariant First-Order Logic on Classes of Bounded Degree

This page was built for publication: Order-Invariant First-Order Logic over Hollow Trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874209)