Fabián Fernando Serrano Suárez

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Theoretical Frameworks

Computational Logic

Top Venues

Publications

Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima
Hall's Theorem for Enumerable Families of Finite Sets. CICM (2022)
David Fuenmayor, Fabián Fernando Serrano Suárez
Formalising Basic Topology for Computational Logic in Simple Type Theory. CICM (2022)