Used together with:
prover
(1)
connect
(1)
first
(1)
modal
(1)
order
(1)
Stem
mlean$ (
all stems
)
1 papers:
IJCAR-2014-Otten
#first-order
#logic
#named
#proving
MleanCoP: A Connection Prover for First-Order Modal Logic (
JO
), pp. 269–276.
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-2014-Otten #first-order #logic #named #proving
IJCAR-2014-Otten #first-order #logic #named #proving