ResearchTrend.AI
Superposition with Lambdas

Superposition with Lambdas

Alexander Bentkamp
J. Blanchette
Sophie Tourret
Petar Vukmirović
Uwe Waldmann
ArXiv (abs)PDFHTML

Papers citing "Superposition with Lambdas"

2 / 2 papers shown
Title
Superposition with Delayed Unification
Superposition with Delayed Unification
A. Bhayat
Johannes Schoisswohl
Michael Rawson
60
3
0
29 Feb 2024
Extensional Higher-Order Paramodulation in Leo-III
Extensional Higher-Order Paramodulation in Leo-III
A. Steen
Christoph Benzmüller
LRM
39
25
0
26 Jul 2019