Matching entries: 0
settings...
菊池 健太郎, 青戸 等人, 外山 芳人 (2015), "文脈移動法によるプログラム変換の正当性について", 日本ソフトウェア科学会第32回大会講演論文集 (PPL4-4). 4pp. September, 2015. 日本ソフトウェア科学会.
BibTeX:
@article{菊池健太郎2015,
  author = {菊池 健太郎 and 青戸 等人 and 外山 芳人},
  title = {文脈移動法によるプログラム変換の正当性について},
  journal = {日本ソフトウェア科学会第32回大会講演論文集},
  publisher = {日本ソフトウェア科学会},
  year = {2015},
  number = {PPL4-4},
  pages = {4pp},
  url = {http://ci.nii.ac.jp/naid/40020657250/ja/}
}
Onozawa K, Kikuchi K, Aoto T and Toyama Y (2015), "ACPH: System Description", In 4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings. pp. 39-39.
BibTeX:
@inproceedings{Onozawa2015,
  author = {Onozawa, Kouta and Kikuchi, Kentaro and Aoto, Takahito and Toyama, Yoshihito},
  title = {ACPH: System Description},
  booktitle = {4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings},
  year = {2015},
  pages = {39-39}
}
Suzuki T, Kikuchi K and Aoto T (2015), "NoCo: System Description for CoCo 2015", In 4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings. pp. 48-48.
BibTeX:
@inproceedings{Suzuki2015a,
  author = {Suzuki, Takaki and Kikuchi, Kentaro and Aoto, Takahito},
  title = {NoCo: System Description for CoCo 2015},
  booktitle = {4th International Workshop on Confluence, IWC 2015, Berlin, Germany, August 2, 2015, Proceedings},
  year = {2015},
  pages = {48-48}
}
小野沢 倖太, 菊池 健太郎, 青戸 等人, 外山 芳人 (2015), "高階書き換えシステムの合流性", 平成27年度電気関係学会東北支部連合大会講演論文集 (セッションID: 2D15), pp. 121-121.
BibTeX:
@article{小野沢倖太2015,
  author = {小野沢 倖太 and 菊池 健太郎 and 青戸 等人 and 外山 芳人},
  title = {高階書き換えシステムの合流性},
  journal = {平成27年度電気関係学会東北支部連合大会講演論文集},
  year = {2015},
  number = {セッションID: 2D15},
  pages = {121-121}
}
神野 祐磨, 菊池 健太郎, 青戸 等人, 外山 芳人 (2015), "項書き換えシステムの基底合流性の自動検証", 平成27年度電気関係学会東北支部連合大会講演論文集 (セッションID: 2D14), pp. 120-120.
BibTeX:
@article{神野祐磨2015,
  author = {神野 祐磨 and 菊池 健太郎 and 青戸 等人 and 外山 芳人},
  title = {項書き換えシステムの基底合流性の自動検証},
  journal = {平成27年度電気関係学会東北支部連合大会講演論文集},
  year = {2015},
  number = {セッションID: 2D14},
  pages = {120-120}
}
佐藤 洸一, 菊池 健太郎, 青戸 等人, 外山 芳人 (2013), "自動検証のためのプログラム変換法", 日本ソフトウェア科学会第30回大会講演論文集 (PPL5-5). pp. 702-710. September, 2013. 日本ソフトウェア科学会.
BibTeX:
@article{佐藤洸一2013,
  author = {佐藤 洸一 and 菊池 健太郎 and 青戸 等人 and 外山 芳人},
  title = {自動検証のためのプログラム変換法},
  journal = {日本ソフトウェア科学会第30回大会講演論文集},
  publisher = {日本ソフトウェア科学会},
  year = {2013},
  number = {PPL5-5},
  pages = {702-710},
  url = {http://ci.nii.ac.jp/naid/40020580475/ja/}
}
四方 駿作, 菊池 健太郎, 青戸 等人, 外山 芳人 (2012), "木オートマトンをもちいた交差不能性判定", 平成24年度電気関係学会東北支部連合大会講演論文集 (セッションID: 2C19), pp. 80-80.
BibTeX:
@article{四方駿作2012,
  author = {四方 駿作 and 菊池 健太郎 and 青戸 等人 and 外山 芳人},
  title = {木オートマトンをもちいた交差不能性判定},
  journal = {平成24年度電気関係学会東北支部連合大会講演論文集},
  year = {2012},
  number = {セッションID: 2C19},
  pages = {80-80}
}
内田 和真, 菊池 健太郎, 青戸 等人, 外山 芳人 (2012), "等式付き項書き換えシステムの完備化", 平成24年度電気関係学会東北支部連合大会講演論文集 (セッションID: 2C18), pp. 79-79.
BibTeX:
@article{内田和真2012,
  author = {内田 和真 and 菊池 健太郎 and 青戸 等人 and 外山 芳人},
  title = {等式付き項書き換えシステムの完備化},
  journal = {平成24年度電気関係学会東北支部連合大会講演論文集},
  year = {2012},
  number = {セッションID: 2C18},
  pages = {79-79}
}
Kikuchi K (2009), "On General Methods for Proving Reduction Properties of Typed Lambda Terms (証明論と論理・計算の構造)", 数理解析研究所講究録. Vol. 1635, pp. 33-50. April, 2009. 京都大学.
BibTeX:
@article{Kikuchi2009/ja,
  author = {Kikuchi, Kentaro},
  title = {On General Methods for Proving Reduction Properties of Typed Lambda Terms (証明論と論理・計算の構造)},
  journal = {数理解析研究所講究録},
  publisher = {京都大学},
  year = {2009},
  volume = {1635},
  pages = {33-50},
  url = {http://ci.nii.ac.jp/naid/110007050195/ja/}
}
Kikuchi K (2002), "Gentzen Style Sequent Calculi for Some Subsystems of Intuitionistic Logic". Thesis at: 北陸先端科学技術大学院大学.
BibTeX:
@phdthesis{Kikuchi2002a/ja,
  author = {Kikuchi, Kentaro},
  title = {Gentzen Style Sequent Calculi for Some Subsystems of Intuitionistic Logic},
  school = {北陸先端科学技術大学院大学},
  year = {2002},
  url = {http://ci.nii.ac.jp/naid/500000230966?l=ja}
}
Kikuchi K (1999), "Cut-Free Sequent Calculi for Visser's Propositional Logics", Research Report. IS-RR-99-0030, 12pp. November, 1999. 北陸先端科学技術大学院大学.
BibTeX:
@article{Kikuchi1999/ja,
  author = {Kikuchi, Kentaro},
  title = {Cut-Free Sequent Calculi for Visser's Propositional Logics},
  journal = {Research Report},
  publisher = {北陸先端科学技術大学院大学},
  year = {1999},
  volume = {IS-RR-99-0030},
  pages = {12pp},
  url = {http://ci.nii.ac.jp/naid/110000570859/ja/}
}