Fabián Fernando Serrano Suárez

According to our database, Fabián Fernando Serrano Suárez authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Compactness Theorem for Propositional Logic and Combinatorial Applications.

Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima, Mauricio Ayala-Rincón

Arch. Formal Proofs, 2024

2022

Hall's Theorem for Enumerable Families of Finite Sets.

Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

Formalising Basic Topology for Computational Logic in Simple Type Theory.

David Fuenmayor, Fabián Fernando Serrano Suárez

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022