Used together with:
prover
(1)
automat
(1)
higher
(1)
order
(1)
Stem
satallax$ (
all stems
)
1 papers:
IJCAR-2012-Brown
#automation
#higher-order
#named
#proving
Satallax: An Automatic Higher-Order Prover (
CEB
), pp. 111–117.
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
.
IJCAR-2012-Brown #automation #higher-order #named #proving
IJCAR-2012-Brown #automation #higher-order #named #proving