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