Expansions of MSO by cardinality relations

Alexis Bès 1
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Journal articles
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

openaccess

Identifiers

Collections

LACL | INSMI | UPEC-UPEM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

76

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD