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

Berlin / Springer (2014) [Contribution to a book, Contribution to a conference proceedings]

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): 256-266