Quantifier Alternation for Infinite Words - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Quantifier Alternation for Infinite Words

Dates et versions

hal-02488310 , version 1 (22-02-2020)

Identifiants

Citer

Théo Pierron, Thomas Place, Marc Zeitoun. Quantifier Alternation for Infinite Words. 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'16), Apr 2016, Eindhoven, Netherlands. pp.234-251, ⟨10.1007/978-3-662-49630-5_14⟩. ⟨hal-02488310⟩

Collections

CNRS ANR
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More