Used together with:
set
(1)
claus
(1)
horn
(1)
Stem
conon$ (
all stems
)
1 papers:
ICALP-1991-Dershowitz
#horn clause
#set
Cononical Sets of Horn Clauses (
ND
), pp. 267–278.
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
.