Compact labelings for efficient first-order model-checking

Bruno Courcelle; Cyril Gavoille; Mamadou Moustapha Kanté

doi:10.1007/s10878-009-9260-7

Article Dans Une Revue J. Comb. Optim. Année : 2011

Compact labelings for efficient first-order model-checking

, , (1)

1

Bruno Courcelle

Fonction : Auteur
PersonId : 183291
IdHAL : bruno-courcelle
ORCID : 0000-0002-5545-8970
IdRef : 026802422

CV

Cyril Gavoille

Fonction : Auteur
PersonId : 183259
IdHAL : cyril-gavoille
ORCID : 0000-0003-3671-8607
IdRef : 077379675

Mamadou Moustapha Kanté

Fonction : Auteur
PersonId : 172339
IdHAL : makante
ORCID : 0000-0003-1838-7744
IdRef : 130351261

Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

Domaines

Complexité [cs.CC] Mathématique discrète [cs.DM] Algorithme et structure de données [cs.DS]

Bastien DOREAU : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02083537

Soumis le : vendredi 29 mars 2019-10:03:10

Dernière modification le : samedi 22 avril 2023-04:32:22

Dates et versions

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

Identifiants

HAL Id : hal-02083537 , version 1
ARXIV : 0811.4713
DOI : 10.1007/s10878-009-9260-7

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS TDS-MACS CLERMONT-AUVERGNE-INP

22 Consultations

0 Téléchargements

Compact labelings for efficient first-order model-checking

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager