3 citations · 3 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Order Invariance on Decomposable Structures
Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe
Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-bas…
cs.LO2016
Succinctness of Order-Invariant Logics on Depth-Bounded Structures
Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
We study the expressive power and succinctness of order-invariant sentences of first-order (FO) and monadic second-order (MSO) logic on structures of bounded tree-depth. Order- inv…