Travelled to:
1 × Japan
Collaborated with:
∅
Talks about:
okninski
(1)
theorem
(1)
putcha
(1)
proof
(1)
Person:
Kunitaka Shoji
DBLP: Shoji:Kunitaka
Contributed to:
2000
Wrote 1 papers:
WLC-2000-Shoji
#proving
#theorem
A Proof of Okninski, Putcha’s Theorem (
KS
), pp. 420–427.
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
.
DBLP: Shoji:Kunitaka
2000
DBLP: Shoji:Kunitaka2000