検索結果4件中 1-4 を表示

  • Kyoung-Sun Kang ID: 9000348887023

    CiNii収録論文: 1件

    • 線形論理型言語のコパイラ処理系のための抽象機械について (2001)
  • 姜 京順 ID: 9000004350715

    釜山外国語大学校コンピュータ電子工学部 (2001年 CiNii収録論文より)

    CiNii収録論文: 5件

    • 線形論理型言語のJava言語による処理系の設計と実装 (1999)
    • 直観主義時相線形論理における論理プログラミングについて (2000)
    • 古典線形論理型プログラミング言語の静的解析の一手法について (2000)
  • 姜 京順 ID: 9000258237481

    釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科 (2000年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 線形論理型言語の効率的なリソース管理モデル (2000)
  • 姜 京順 ID: 9000258237492

    釜山外国語大学校(韓国)コンピュータ電子工学部 コンピュータ工学科 (2001年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 線形論理型言語のコンパイラ処理系のための抽象機械について (2001)
ページトップへ