Reki Yamamoto

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Reki Yamamoto, Setsuo Tsuruta, Takashi Onoyama, Kazuko Oyanagi
A knowledge-based method for validating specifications including open parts. SMC (2000)
Keiji Hirata, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa
Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1. FGCS (1992)