| |
| 1992 | ||
|---|---|---|
| 2 | Hiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda: Architecture and Implementation of PIM/m. FGCS 1992: 425-435 | |
| 1990 | ||
| 1 | Yu Inamura, Satoshi Onishi: A Detection Algorithm of Perpetual Suspension in KL1. ICLP 1990: 18-30 | |
| 1 | Yu Inamura | [1] [2] |
| 2 | Seiichi Kondo | [2] |
| 3 | Kanae Masuda | [2] |
| 4 | Katsuto Nakajima | [2] |
| 5 | Hiroshi Nakashima | [2] |
| 6 | Yasutaka Takeda | [2] |