Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2102.00453
Cited By
Superposition with Lambdas
31 January 2021
Alexander Bentkamp
J. Blanchette
Sophie Tourret
Petar Vukmirović
Uwe Waldmann
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Superposition with Lambdas"
2 / 2 papers shown
Title
Superposition with Delayed Unification
A. Bhayat
Johannes Schoisswohl
Michael Rawson
60
3
0
29 Feb 2024
Extensional Higher-Order Paramodulation in Leo-III
A. Steen
Christoph Benzmüller
LRM
37
25
0
26 Jul 2019
1
