Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures.

Kord Eickmeyer, Michael Elberfeld, Frederik Harwath

Browse the full MFCS paper archive.