Satoru Tomura

Publication Activity (10 Years)

Years Active: 1984-1989
Publications (10 Years): 0

Publications

Kazuhito Ohmaki, Satoru Tomura, Katsuro Inoue, Toshio Ito, Keiichi Ito, Koji Torii
TERM: a parallel executable graph reduction machine for equational language. Parallel Comput. 11 (1) (1989)
Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu
Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE (1988)
Satoru Tomura
TDProlog: An Extended Prolog with Term Description. LP (1985)
Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda
What is a Variable in Prolog? FGCS (1984)