Satoru Tomura

According to our database, Satoru Tomura authored at least 4 papers between 1984 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1989

TERM: a parallel executable graph reduction machine for equational language.

Kazuhito Ohmaki, Satoru Tomura, Katsuro Inoue, Toshio Ito, Keiichi Ito, Koji Torii

Parallel Comput., 1989

1988

Algebraic Specification of Macintosh's Quickdraw Using OBJ2.

Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu

Proceedings of the Proceedings, 1988

1985

TDProlog: An Extended Prolog with Term Description.

Satoru Tomura

Proceedings of the Logic Programming '85, 1985

1984

What is a Variable in Prolog?

Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984