Cardinality quantifiers in MLO over trees

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

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

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): 117-132