Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures
From MaRDI portal
Publication:2922020
DOI10.1007/978-3-662-44522-8_22zbMath1407.03001OpenAlexW800522565MaRDI QIDQ2922020
Michael Elberfeld, Frederik Harwath, Kord Eickmeyer
Publication date: 14 October 2014
Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_22
Related Items