Expansions of MSO by cardinality relations

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223263
Contributor : Alexis Bès <>
Submitted on : Monday, November 2, 2015 - 1:36:55 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM

Links full text

Identifiers

Collections

Citation

Alexis Bès. Expansions of MSO by cardinality relations. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (4), Paper 18. ⟨http://www.lmcs-online.org/ojs/viewarticle.php?id=1377&layout=abstract⟩. ⟨10.2168/LMCS-9(4:18)2013⟩. ⟨hal-01223263⟩

Share

Metrics

Record views

76