Skip to Main content Skip to Navigation
Conference papers

Consistency for Counting Quantifiers

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02288672
Contributor : Florent Madelaine <>
Submitted on : Sunday, September 15, 2019 - 2:23:20 PM
Last modification on : Monday, January 20, 2020 - 12:12:06 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

47