Travelled to:
1 × United Kingdom
Collaborated with:
M.Fujita H.Tanaka T.Moto-Oka
Talks about:
logic (2) program (1) languag (1) tempor (1) prolog (1) compil (1) tokio (1) base (1)
Person: Shinji Kono
DBLP: Kono:Shinji
Contributed to:
Wrote 1 papers:
- ICLP-1986-FujitaKTM86 #compilation #logic programming #named #programming language #prolog
- Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.