Coinductive proof search for intuitionistic propositional logic
Mathematical Logic Webinar, por Luís Pinto (Centro de Matemática - Universidade do Minho).
Mathematical Logic Webinar, por Luís Pinto (Centro de Matemática - Universidade do Minho).
Lisbon Webinar in Analysis in Differential Equations, por Didier Pilod (University of Bergen).
Mathematical Logic Webinar, por José Espírito Santo (Centro de Matemática - Universidade do Minho).
Por Jan Mass (IST Austria) e Max Fathi (Université de Paris).
Mathematical Logic Webinar, por Melissa Antonelli (University of Bologna).
Geometry Webinar, por Stéphane Guillermou (CNRS, Univ. Grenoble).
Lisbon Webinar in Analysis in Differential Equations, por Juan Luis Vázquez (Universidad Autónoma de Madrid).
Mathematical Logic Webinar, por Benedict Eastaugh (Munich Center for Mathematical Philosophy-LMU).
Por Nicola Fusco (Università di Napoli "Federico II") e Riccardo Scala (Università degli Studi di Siena).
Mathematical Logic Webinar, por Anton Freund (Technische Universität Darmstadt).