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): 3-19 (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]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page