1986 |
4 | | Rikio Onai,
Hajime Shimizu,
Kanae Masuda,
Moritoshi Aso:
Analysis of Sequential Prolog Programs.
J. Log. Program. 3(2): 119-141 (1986) |
1985 |
3 | | Rikio Onai,
Hajime Shimizu,
Kanae Masuda,
Akira Matsumoto,
Moritoshi Aso:
Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R.
LP 1985: 1-12 |
2 | | Mamoru Sugie,
M. Yoneyama,
T. Sakabe,
M. Iwasaki,
S. Yoshizumi,
Moritoshi Aso,
Hajime Shimizu,
Rikio Onai:
Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R.
LP 1985: 13-24 |
1 | | Rikio Onai,
Moritoshi Aso,
Hajime Shimizu,
Kanae Masuda,
Akira Matsumoto:
Architecture of a Reduction-Based Parallel Inference Machine: PIM-R.
New Generation Comput. 3(2): 197-228 (1985) |