Cardinality quantifiers in MLO over trees

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

Berlin [u.a.] : Springer (2009)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 117-132