Formalization of the Filter Extension Principle (FEP) in Coq
Book chapter in Communications in Computer and Information Science (July 2024)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Book chapter in Communications in Computer and Information Science (July 2024)
Article in Proceedings of the Edinburgh Mathematical Society (January 2024)
Article in Proceedings of International Mathematical Sciences (July 2023)