Stem leo$ (all stems)

4 papers:

IJCAR-2008-BenzmullerPTF #automation #higher-order #logic #named #proving #theorem proving

LEO-II — A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (CB, LCP, FT, AF), pp. 162–170.

SIGMOD-2002-MarklL #learning

Learning table access cardinalities with LEO (VM, GML), p. 613.

VLDB-2001-StillgerLMK #learning #named

LEO — DB2’s LEarning Optimizer (MS, GML, VM, MK), pp. 19–28.

CADE-1998-BenzmullerK98a #higher-order #proving #theorem proving

System Description: LEO — A Higher-Order Theorem Prover (CB, MK), pp. 139–144.