Skip to Main content Skip to Navigation
Conference papers

Consistency for Counting Quantifiers

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02288672
Contributor : Florent Madelaine Connect in order to contact the contributor
Submitted on : Sunday, September 15, 2019 - 2:23:20 PM
Last modification on : Tuesday, October 19, 2021 - 4:09:43 PM

Identifiers

  • HAL Id : hal-02288672, version 1

Citation

Florent Madelaine, Barnaby Martin. Consistency for Counting Quantifiers. International Symposium on Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨hal-02288672⟩

Share

Metrics

Record views

69