17th Computability in Europe conference - CIE 2021

M. Antonelli will present her joint work with U. dal Lago e P. Pistone: On Measure Quantifiers in First-Order Arithmetic. More: https://www.cie2021.ugent.be/programme/

  • Date: 05 JULY 2021  from 15:15 to 15:40

  • Type: Conference