Expansions of MSO by cardinality relations - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2013

Expansions of MSO by cardinality relations

Dates et versions

hal-01223263 , version 1 (02-11-2015)

Identifiants

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⟩

Collections

CNRS LACL UPEC
48 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More