Used together with:
program
(2)
logic
(2)
wand
(1)
analys
(1)
magic
(1)
Stem
osit$ (
all stems
)
1 papers:
ILPS-1993-CodishD
#logic programming
#source code
#using
Analysing Logic Programs Using “Prop”-ositional Logic Programs and a Magic Wand (
MC
,
BD
), pp. 114–129.
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
.