Search Results1-4 of  4

  • KANG KYOUNG-SUN ID: 9000004350715

    Division of Electronic and Computer Engineering, Pusan University of Foreign Studies, Korea (2001 from CiNii)

    Articles in CiNii:5

    • Java Implementation of a Linear Logic Programming Language (1999)
    • Logic Programming in an Intuitionistic Temporal Linear Logic (2000)
    • A Static Analysis Method for a Classical Linear Logic Programming Language (2000)
  • Kang Kyoung-Soon ID: 9000002484283

    Department of Environmental Physical Chemistry, Institute of Environmental Science and Technology, Yokohama National University (2001 from CiNii)

    Articles in CiNii:3

    • Direct DNA Extraction from Soil and DNA Purification : Comparison of the Different Methods (2001)
    • Direct Extraction of DNA from Soil : Comparison between Different Methods (2000)
    • 土壌細菌の16SリボソームDNAに基づく環境診断(VIII) : 土壌細菌分布に対する銅イオン汚染の影響(2001年度大会一般講演要旨) (2001)
  • Kang Kyoung-Sun ID: 9000258237481

    Department of Computer Engineering, Division of Electronic and Computer Engineering, Pusan University of Foreign Studies. (2000 from CiNii)

    Articles in CiNii:1

    • Efficient Resource Management Model for Linear Logic Programming Languages (2000)
  • Kang Kyoung-Sun ID: 9000258237492

    Department of Computer Engineering, Division of Electronic and Computer Engineering, Pusan University of Foreign Studies (2001 from CiNii)

    Articles in CiNii:1

    • An Abstract Machine for a Compiler System of a Linear Logic Programming Language (2001)
Page Top