Compact labelings for efficient first-order model-checking - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue J. Comb. Optim. Année : 2011

Compact labelings for efficient first-order model-checking

Bruno Courcelle
Cyril Gavoille

Dates et versions

hal-02083537 , version 1 (29-03-2019)

Identifiants

Citer

Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha Kanté. Compact labelings for efficient first-order model-checking. J. Comb. Optim., 2011, 21, pp.19--46. ⟨10.1007/s10878-009-9260-7⟩. ⟨hal-02083537⟩
19 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More