Workshop Papers

• Takahito Aoto, Nao Hirokawa, Dohan Kim, Misaki Kojima, Aart Middeldorp, Fabian Mitterwallner, Naoki Nishida, Teppei Saito, Jonas Schöpf, Kiraku Shintani, René Thiemann and Akihisa Yamada
  A New Format for Rewrite Systems,
  In Proceedings of the 12th International Workshop on Confluence (IWC 2023), Obergurgl, Austria, August 2023, pp.32-37.
  

• 趙順, 青戸等人
  フラット右線形項書き換えシステムの簡約に関する一意正規形性の決定不能性,
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)論文集, 2023.
  

• Ryota Haga, Yuki Kagaya, and Takahito Aoto
  A critical pair criterion for level-commutation of conditional term rewriting systems
  In Proceedings of the 11th International Workshop on Confluence (IWC 2022), Haifa, Israel, August 2022, pp.13-18.
  

• 南山 駿人, 青戸 等人,
  書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合,
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)論文集, 2022.
  

• 芳賀 雅樹, 青戸 等人,
  置換に関する不動点制約を用いた名目書き換え,
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)論文集, 2022.
  

• 大野 峻, 青戸 等人,
  交差式条件付き項書き換えシステムに対するアンラベリング変換の健全性について,
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)論文集, 2022.
  

• 芳賀 亮太, 青戸 等人,
  危険対条件に基づく条件付き項書き換えシステムの階層可換性,
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)論文集, 2022.
  

• 石塚守, 青戸等人, 岩見宗弘,
  交換律による正則項書き換えにおける有限オートマトンの構成法とその応用
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集, 2020.
  

• 加賀谷有輝, 青戸等人,
  条件付き項書き換えシステムの階層合流性証明法
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集, 2020.
  

• 白石智輝, 青戸等人, 菊池健太郎,
  項書き換えシステムにおける局所十分完全性の証明法
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集, 2020.
  

• 山口諒, 青戸等人
  決定手続きを用いた項書き換えシステムの帰納的定理自動証明
  第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)論文集, 2019.
  [pdf, 14 pages]

• 加藤裕人, 青戸等人
  書き換え帰納法を利用した帰納的定理証明の補題生成法
  第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)論文集, 2019.
  [pdf, 15 pages]

• 栗田泰智, 青戸等人
  条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明
  第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018)論文集, 2018.
  [pdf, 14 pages]

• Takahito Aoto and Yoshihito Toyama
  Ground confluence proof with pattern complementation
  In Proceedings of the 5th International Workshop on Confluence (IWC 2016), Obergurgl, Austria, September 2016, pp.31-35.
  [abstract] [pdf, 5 pages]

• Takahito Aoto and Kentaro Kikuchi
  A rule-based procedure for equivariant nominal unification
  In Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016), Porto, Portugal, 2016.
  [abstract] [pdf, 6 pages]

• 島貫健太郎, 青戸等人, 外山芳人
  書き換え規則の重なりに基づく到達可能性判定法
  第17回プログラミングおよびプログラミング言語ワークショップ(PPL 2015)論文集, 2015.
  [pdf, 16 pages]

• 鈴木貴樹, 菊池健太郎, 青戸等人, 外山芳人
  名目書き換えシステムの合流性について
  第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)論文集, 2014.
  [pdf, 15 pages]

• 内田和真, 青戸等人, 外山芳人
  永続性と減少ダイアグラム法に基づく合流性自動証明
  第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)論文集, 2014.
  [pdf, 18 pages]

• 四方駿作, 青戸等人, 外山芳人
  閉包操作に基づく右基底項書き換えシステムの到達可能性判定
  第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)論文集, 2014.
  [pdf, 18 pages]

• 佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
  帰納的定理自動証明のための項書き換えシステム自動変換
  第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)論文集, 2014.
  [pdf, 17 pages]

• Takahito Aoto
  Disproving confluence of term rewriting systems by interpretation and ordering (extended abstract)
  In Proceedings of the 2nd International Workshop on Confluence (IWC 2013), Eindhoven, The Netherlands, June 2013, pp.5-9.
  [abstract] [pdf, 6 pages]

• 高橋翔大, 青戸等人, 外山芳人
  ボトムアップ書き換えに基づく最内書き換え到達可能性判定
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集, 2013.
  [pdf, 15 pages]

• 中嶋辰成, 青戸等人, 外山芳人
  書き換え帰納法に基づく帰納的定理の決定可能性
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集, 2013.
  [pdf, 15 pages]

• Yuki Chiba and Takahito Aoto
  Transformations by templates for simply-typed term rewriting
  In Proceedings of the 6th International Workshop on Higher-Order Rewriting (HOR 2012), Nagoya, Japan, June 2012, pp.3-8.
  [abstract] [pdf, 6 pages]

• 的場正樹, 青戸等人, 外山芳人
  片側減少ダイアグラム法による項書き換えシステムの可換性証明法
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)論文集, pp.168-182, 2012.
  [pdf, 15 pages]

• 鈴木翼, 青戸等人, 外山芳人
  永続性にもとづく項書き換えシステムの合流性証明
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)論文集, pp.153-167, 2012.
  [pdf, 15 pages]

• 磯部耕己，青戸等人，外山芳人
  多項式サイズ正規形を保証する項書き換えシステムの経路順序
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL 2011)論文集, pp.99-113, 2011.
  [pdf, 15 pages]

• 村井正勝，青戸等人，外山芳人
  基底項書き換え系の多項式時間合流性判定法の改良
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL 2011)論文集, pp.84-98, 2011.
  [pdf, 15 pages]

• 道又淳一，青戸等人，外山芳人
  拡大手法に基づく項書き換え系の合流性自動証明
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL 2010)論文集, pp.274-285, 2010.
  [pdf, 12 pages]

• 岩見宗弘，青戸等人
  無限項書き換えシステムにおける強頭部正規化可能性の反証手続き
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL 2010)論文集, pp.261-273, 2010.
  [pdf, 13 pages]

• Takahito Aoto
  Designing a rewriting induction prover with an increased capability of non-orientable theorems
  In Proceedings of Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008), Hagenberg, Austria, July 2008, pp.1-15, RISC Technical Report 08-08.
  [abstract] [pdf, 15 pages]

• 嶌津聡志，青戸等人，外山芳人
  反証機能付き書き換え帰納法のための補題自動生成法
  第10回プログラミングおよびプログラミング言語ワークショップ(PPL 2008)論文集, pp. 141-151, 2008.
  [pdf, 11 pages]

• 吉田順一，青戸等人，外山芳人
  項書き換えシステムの合流性判定
  第10回プログラミングおよびプログラミング言語ワークショップ(PPL 2008)論文集, pp. 126-140, 2008.
  [pdf, 15 pages]

• Takahito Aoto and Toshiyuki Yamada
  Argument filterings and usable rules for simply typed dependency pairs (extended abstract)
  In Proceedings of the 4th International Workshop on Higher-Order Rewriting (HOR 2007), Paris, France, June 2007, pp.21-27.
  [pdf, 6 pages]

• Yuki Chiba, Takahito Aoto and Yoshihito Toyama
  RAPT: A program transformation system based on term rewriting
  The 8th JSSST Workshop on Programming and Programming Languages(PPL 2006), pp. 60-74, 2006.
  [pdf, 15 pages]

• 青戸等人
  書き換え帰納法における向き付け不能な等式の証明
  第8回プログラミングおよびプログラミング言語ワークショップ(PPL 2006)論文集, pp. 75-89, 2006.
  [ps, 15 pages]

• Takahito Aoto and Toshiyuki Yamada
  Termination of simply-typed applicative term rewriting systems
  In Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004), Aachen, Germany, June 2004, pp.61-65, Technical Report 2004-03, Department of Computer Science, RWTH Aachen.
  [abstract] [ps, 5 pages]