| |
| 2001 | ||
|---|---|---|
| 4 | EE | Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura: Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP 2001: 315-330 |
| 1999 | ||
| 3 | Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis for Classical Linear Logic Programming Language. ICLP 1999: 610 | |
| 2 | EE | Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis Method for a Classical Linear Logic Programming Language. Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 1998 | ||
| 1 | Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang: Efficient Implementation of a Linear Logic Programming Language. IJCSLP 1998: 145-159 | |
| 1 | Mutsunori Banbara | [4] |
| 2 | Takaharu Hirai | [4] |
| 3 | Joshua S. Hodas | [1] |
| 4 | Naoyuki Tamura | [1] [2] [3] [4] |
| 5 | K. M. Watkins | [1] |