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

Eickmeyer, Kord (Corresponding author); Elberfeld, Michael (Corresponding author); Harwath, Frederik (Corresponding author)

Berlin : Springer (2014)
Contribution to a book, Contribution to a conference proceedings

In: Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25 - 29, 2014 ; proceedings / Erzsébet Csuhaj-Varjú; Martin Dietzfelbinger; Zoltán Ésik (eds.). - Pt. 1
Page(s)/Article-Nr.: 256-266