Used together with:
well
(1)
semant
(1)
program
(1)
found
(1)
set
(1)
Stem
unfound$ (
all stems
)
1 papers:
PODS-1988-GelderRS
#logic programming
#semantics
#set
#source code
Unfounded Sets and Well-Founded Semantics for General Logic Programs (
AVG
,
KAR
,
JSS
), pp. 221–230.
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
.