BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
prover (2)
theorem (2)
order (2)
higher (2)
system (2)

Stem leo$ (all stems)

4 papers:

IJCARIJCAR-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.
SIGMODSIGMOD-2002-MarklL #learning
Learning table access cardinalities with LEO (VM, GML), p. 613.
VLDBVLDB-2001-StillgerLMK #learning #named
LEO — DB2’s LEarning Optimizer (MS, GML, VM, MK), pp. 19–28.
CADECADE-1998-BenzmullerK98a #higher-order #proving #theorem proving
System Description: LEO — A Higher-Order Theorem Prover (CB, MK), pp. 139–144.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.