Used together with:
theori
(1)
domain
(1)
proposit
(1)
system
(1)
revis
(1)
Stem
ductor$ (
all stems
)
1 papers:
ML-1991-Cain
The DUCTOR: A Theory Revision System for Propositional Domains (
TC
), pp. 485–489.
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
.