Expansions of MSO by cardinality relations

Alexis Bès 1
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Type de document :
Article dans une revue
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〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01223263
Contributeur : Alexis Bès <>
Soumis le : lundi 2 novembre 2015 - 13:36:55
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Lien texte intégral

openaccess

Identifiants

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

71

Contact

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