Satoshi Onishi

Publication Activity (10 Years)

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

Publications

Hiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda
Architecture and Implementation of PIM/m. FGCS (1992)
Yu Inamura, Satoshi Onishi
A Detection Algorithm of Perpetual Suspension in KL1. ICLP (1990)