Fabián Fernando Serrano Suárez

According to our database, Fabián Fernando Serrano Suárez authored at least 2 papers in 2022.

Collaborative distances:

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

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