Collaborated with:
∅
Talks about:
nonmonoton
(1)
transform
(1)
program
(1)
system
(1)
reason
(1)
Person:
Tadashi Araragi
DBLP: Araragi:Tadashi
Contributed to:
1992
Wrote 1 papers:
WSA-1992-Araragi
#program transformation
#reasoning
Program Transformation in a Nonmonotonic Reasoning System (
TA
), pp. 135–143.
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
.