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