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
Authors
Selected Authors
Eickmeyer, Kord
Elberfeld, Michael
Harwath, Frederik
Identifier
- DOI: 10.1007/978-3-662-44522-8_22
- REPORT NUMBER: RWTH-CONV-205944