Used together with:
constraint
(1)
propag
(1)
databas
(1)
deduct
(1)
Stem
recus$ (
all stems
)
1 papers:
NACLP-1989-KempRBM
#constraints
#database
#deduction
Propagating Constraints in Recusive Deduction Databases (
DBK
,
KR
,
IB
,
KM
), pp. 981–998.
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
.