Infinite-state Games with Finitary Conditions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013
Fichier non déposé

Dates et versions

hal-03410688 , version 1 (01-11-2021)

Identifiants

Citer

Krishnendu Chatterjee, Nathanaël Fijalkow. Infinite-state Games with Finitary Conditions. Computer Science in Logic, CSL, 2013, NA, Italy. ⟨10.4230/LIPIcs.CSL.2013.181⟩. ⟨hal-03410688⟩

Collections

CNRS
12 Consultations
0 Téléchargements

Altmetric

Partager

More