Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2403.04775
Cited By
Superposition with Delayed Unification
29 February 2024
A. Bhayat
Johannes Schoisswohl
Michael Rawson
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Superposition with Delayed Unification"
1 / 1 papers shown
Title
Superposition for Lambda-Free Higher-Order Logic
Alexander Bentkamp
J. Blanchette
Simon Cruanes
Uwe Waldmann
20
37
0
05 May 2020
1
