Camillo Fiorentini, Mauro Ferrari 0002. Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic. ACM Trans. Comput. Log., 21(3), 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.