Collaborated with:
D.Kato
T.Kikuchi
R.Nakajima
H.Tsuiki
Talks about:
program
(1)
modal
(1)
logic
(1)
Person:
J. Sawada
DBLP: Sawada:J=
Contributed to:
1990
Wrote 1 papers:
VDME-1990-KatoKNST
#logic programming
Modal Logic Programming (
DK
,
TK
,
RN
,
JS
,
HT
), pp. 29–40.
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
.