Skip to Main content Skip to Navigation
Book sections

On Measure Quantifiers in First-Order Arithmetic

Melissa Antonelli 1 Ugo Dal Lago 1 Paolo Pistone 1
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03346804
Contributor : Ugo Dal Lago Connect in order to contact the contributor
Submitted on : Monday, September 20, 2021 - 9:41:11 AM
Last modification on : Monday, September 20, 2021 - 10:03:55 AM

Identifiers

Collections

Citation

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone. On Measure Quantifiers in First-Order Arithmetic. Proceedings of CIE 2021, pp.12-24, 2021, ⟨10.1007/978-3-030-80049-9_2⟩. ⟨hal-03346804⟩

Share

Metrics

Record views

31

Files downloads

67