Linear delay enumeration and monadic second-order logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Applied Mathematics Année : 2009

Linear delay enumeration and monadic second-order logic

Dates et versions

hal-00333846 , version 1 (24-10-2008)

Identifiants

Citer

Bruno Courcelle. Linear delay enumeration and monadic second-order logic. Discrete Applied Mathematics, 2009, 157, pp.2675-2700. ⟨10.1016/j.dam.2008.08.021⟩. ⟨hal-00333846⟩

Collections

CNRS ANR
45 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More