Kyoung-Sun Kang

According to our database, Kyoung-Sun Kang authored at least 4 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura

Proceedings of the Logic Programming, 17th International Conference, 2001

1999

A Static Analysis Method for a Classical Linear Logic Programming Language.

Kyoung-Sun Kang, Naoyuki Tamura

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

A Static Analysis for Classical Linear Logic Programming Language.

Kyoung-Sun Kang, Naoyuki Tamura

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Efficient Implementation of a Linear Logic Programming Language.

Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998