Kyoung-Sun Kang

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP (2001)
Kyoung-Sun Kang, Naoyuki Tamura
A Static Analysis Method for a Classical Linear Logic Programming Language. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Kyoung-Sun Kang, Naoyuki Tamura
A Static Analysis for Classical Linear Logic Programming Language. ICLP (1999)
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
Efficient Implementation of a Linear Logic Programming Language. IJCSLP (1998)