Superposition for Lambda-Free Higher-Order Logic

5 May 2020

Alexander Bentkamp

Papers citing "Superposition for Lambda-Free Higher-Order Logic"

2 / 2 papers shown

Title
Superposition with Delayed Unification A. Bhayat Johannes Schoisswohl Michael Rawson 30 2 0 29 Feb 2024
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 30 97 0 24 May 2019