Superposition with Lambdas

31 January 2021

Alexander Bentkamp

Papers citing "Superposition with Lambdas"

3 / 3 papers shown

Title
Superposition for Lambda-Free Higher-Order Logic Alexander Bentkamp J. Blanchette Simon Cruanes Uwe Waldmann 83 37 0 05 May 2020
HOL(y)Hammer: Online ATP Service for HOL Light C. Kaliszyk Josef Urban 97 95 0 19 Sep 2013
ATP and Presentation Service for Mizar Formalizations Josef Urban P. Rudnicki G. Sutcliffe LRM 82 66 0 03 Sep 2011