Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima. Hall's Theorem for Enumerable Families of Finite Sets. In Kevin Buzzard, Temur Kutsia, editors, Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings. Volume 13467 of Lecture Notes in Computer Science, pages 107-121, Springer, 2022. [doi]
Abstract is missing.