Succinctness of Order-Invariant Logics on Depth-Bounded Structures

Eickmeyer, Kord (Corresponding author); Elberfeld, Michael (Corresponding author); Harwath, Frederik (Corresponding author)

New York, NY : Association for Computing Machinery (2017)
Journal Article

In: ACM transactions on computational logic : TOCL
Volume: 18
Issue: 4
Page(s)/Article-Nr.: 33

Identifier