Communication Dans Un Congrès
Année : 2019
Florent Madelaine : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02288672
Soumis le : dimanche 15 septembre 2019-14:23:20
Dernière modification le : lundi 12 juin 2023-09:46:51
Dates et versions
Identifiants
- HAL Id : hal-02288672 , version 1
Citer
Florent Madelaine, Barnaby Martin. Consistency for Counting Quantifiers. International Symposium on Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨hal-02288672⟩
Collections
59
Consultations
0
Téléchargements