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
Identifier
- DOI: 10.1007/978-3-662-44522-8_22
- RWTH PUBLICATIONS: RWTH-CONV-205944