Cardinality quantifiers in MLO over trees

Bárány, Vince; Kaiser, Lukasz; Rabinovich, Alexander

Berlin [u.a.] : Springer (2009)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7 - 11, 2009; proceedings / Erich Grädel ... (eds.)
Seite(n)/Artikel-Nr.: 117-132