A combinator-based superposition calculus for higher-order logic

From MaRDI portal
Publication:2096452

DOI10.1007/978-3-030-51074-9_16OpenAlexW3040578348MaRDI QIDQ2096452

Ahmed Bhayat, Giles Reger

Publication date: 9 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_16




Related Items (17)


Uses Software


Cites Work


This page was built for publication: A combinator-based superposition calculus for higher-order logic