Order-Invariant First-Order Logic over Hollow Trees

DOI10.4230/LIPICS.CSL.2020.23OpenAlexW2979740680MaRDI QIDQ5874209FDOQ5874209

Authors: Julien Grange, Luc Segoufin 

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 (2)

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

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)