Succinctness of Order-Invariant Logics on Depth-Bounded Structures

New York, NY / Association for Computing Machinery (2017) [Journal Article]

ACM transactions on computational logic : TOCL
Volume: 18
Issue: 4
Page(s): 33

Authors

Authors

Eickmeyer, Kord
Elberfeld, Michael
Harwath, Frederik

Identifier