dblp.uni-trier.dewww.uni-trier.de

Kyoung-Sun Kang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
4EEMutsunori 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
2EEKyoung-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

1Mutsunori Banbara [4]
2Takaharu Hirai [4]
3Joshua S. Hodas [1]
4Naoyuki Tamura [1] [2] [3] [4]
5K. M. Watkins [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)