Baire Category Quantifier in Monadic Second Order Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015
Fichier non déposé

Dates et versions

hal-02140480 , version 1 (27-05-2019)

Identifiants

  • HAL Id : hal-02140480 , version 1

Citer

Henryk Michalewski, Matteo Mio. Baire Category Quantifier in Monadic Second Order Logic. Proc. of ICALP 2015, Jul 2015, Kyoto, Japan. pp.362-374. ⟨hal-02140480⟩
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More