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 : Friday, October 4, 2019 - 1:12:44 AM

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

18