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
Identifikationsnummern
- DOI: 10.1007/978-3-642-04027-6_11
- RWTH PUBLICATIONS: RWTH-CONV-190999