Travelled to:
1 × Israel
Collaborated with:
Y.Inamura
Talks about:
algorithm (1) suspens (1) perpetu (1) detect (1)
Person: Satoshi Onishi
DBLP: Onishi:Satoshi
Contributed to:
Wrote 1 papers:
- CLP-1990-InamuraO90 #algorithm #detection
- A Detection Algorithm of Perpetual Suspension in KL1 (YI, SO), pp. 18–30.