Lolli: An Extension of λProlog with Linear Context Management

収録刊行物

  • Workshop on the λProlog Programming Language

    Workshop on the λProlog Programming Language, 159-168, 1992

    Pennsylvania

被引用文献:  2件中 1-2件 を表示

  • 直観主義時相線形論理における論理プログラミングについて

    田村 直之 , 平井 崇晴 , 吉川 英男 , 姜京順 , 番原 睦則

    情報処理学会論文誌プログラミング(PRO) 41(SIG04(PRO7)), 11-23, 2000-06-15

    情報処理学会 参考文献21件 被引用文献3件

  • 線形論理型言語のコパイラ処理系のための抽象機械について

    番原 睦則 , 姜 京順 , 田村 直之 , Mutsunori Banbara , Kyoung-Sun Kang , Naoyuki Tamura , 奈良工業高等専門学校 , 釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科 , 神戸大学工学部情報知能工学科 , Nara National College of Technology , Department of Computer Engineering Division of Electronic and Computer Engineering Pusan University of Foreign Studies , Department of Computer and Systems Engineering Kobe University

    コンピュータソフトウェア = Computer software 18(1), 195-216, 2001-01-15

    機関リポジトリ 参考文献29件 被引用文献4件

各種コード

  • NII論文ID(NAID)
    10010358996
  • 資料種別
    その他
  • データ提供元
    CJP引用 
ページトップへ