Article Dans Une Revue
Logical Methods in Computer Science
Année : 2013
Alexis Bès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01223263
Soumis le : lundi 2 novembre 2015-13:36:55
Dernière modification le : jeudi 18 avril 2024-15:18:17
Dates et versions
Identifiants
- HAL Id : hal-01223263 , version 1
- ARXIV : 1310.8182
- DOI : 10.2168/LMCS-9(4:18)2013
Citer
Alexis Bès. Expansions of MSO by cardinality relations. Logical Methods in Computer Science, 2013, 9 (4), Paper 18. ⟨10.2168/LMCS-9(4:18)2013⟩. ⟨hal-01223263⟩
52
Consultations
0
Téléchargements