Succinctness of Order-Invariant Logics on Depth-Bounded Structures

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

ACM transactions on computational logic : TOCL
Band: 18
Ausgabe: 4
Seite(n): 33

Autorinnen und Autoren

Autorinnen und Autoren

Eickmeyer, Kord
Elberfeld, Michael
Harwath, Frederik

Identifikationsnummern