Expansions of MSO by cardinality relations

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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

68