Kyoung-Sun Kang

	2001
4		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		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

Coauthor Index

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]