Expansions of MSO by cardinality relations

Alexis Bès

doi:10.2168/LMCS-9(4:18)2013

Journal articles

Expansions of MSO by cardinality relations

Alexis Bès ¹

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

Document type :

Journal articles

Domain :

Mathematics [math] / Logic [math.LO]

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01223263
Contributor : Alexis Bès Connect in order to contact the contributor
Submitted on : Monday, November 2, 2015 - 1:36:55 PM
Last modification on : Tuesday, January 25, 2022 - 11:44:06 AM

Expansions of MSO by cardinality relations

Links full text

Identifiers

Collections

Citation

Export

Metrics

45

Expansions of MSO by cardinality relations

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

45