Order-Invariant First-Order Logic over Hollow Trees

DOI10.4230/LIPICS.CSL.2020.23MaRDI QIDQ5874209OpenAlexFDO

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)

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

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)