Higher-Order Path Orders Based on Computability

by KUSAKARI, Keiichirou
Published 2004

On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair Technique

by Sakai, Masahiko, Kusakari, Keiichirou
Published 2002

On New Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

by Sakai, Masahiko, Kusakari, Keiichirou
Published 2001

A Higher-Order Knuth-Bendix Procedure and Its Applications

by CHIBA, Yuki, KUSAKARI, Keiichirou
Published 2007

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Technique

by SAKAI, Masahiko, KUSAKARI, Keiichirou
Published 2009

On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

by SAKAI, Masahiko, KUSAKARI, Keiichirou
Published 2005

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

by KUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki
Published 2005

Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting

by 草刈, 圭一朗, Kusakari, Keiichirou, 酒井, 正彦, Sakai, Masahiko
Published 2007

SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMS

by Nishida, Naoki, Furuichi, Yuki, Sakai, Masahiko, Kusakari, Keiichirou, Sakabe, Toshiki
Published 2006

Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems

by UCHIYAMA, Keita, SAKAI, Masahiko, NISHIDA, Naoki, SAKABE, Toshiki, KUSAKARI, Keiichirou
Published 2007

Confluence of Length Preserving String Rewriting Systems is Undecidable

by WANG, Yi, SAKAI, Masahiko, NISHIDA, Naoki, SAKABE, Toshiki, KUSAKARI, Keiichirou
Published 2007

配列を扱う非線形先頭再帰プログラムからの再帰除去

by 高須, 洋平, TAKASU, Yohei, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki
Published 2005

項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係

by 村田, 龍彦, MURATA, Tatsuhiko, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki
Published 2005

変換と部分評価に基づく非左辺正規なメタ項の停止性証明

by 蛸島, 洋明, TAKOJIMA, Hiroaki, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou
Published 2005

基本対称関数に基づく節をもつCNF論理式の充足可能性判定

by KUSAKARI, Keiichirou, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, UMANO, Yohei, 草刈, 圭一朗, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 馬野, 洋平
Published 2010

対話型埋込みによる数独問題の設計ツール

by KUSAKARI, Keiichirou, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, UMANO, Yohei, 草刈, 圭一郎, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 馬野, 洋平
Published 2007

プログラム生成系GeneSysにおける等式仕様への否定の導入

by NISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiko, KONDO, Satoru, 西田, 直樹, 草刈, 圭一郎, 坂部, 俊樹, 酒井, 正彦, 近藤, 悟
Published 2007

等式を規則化する変換の停止条件

by KUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki, NISHIDA, Naoki, MIZUNO, Kiyotaka, 草刈, 圭一朗, 酒井, 正彦, 坂部, 俊樹, 西田, 直樹, 水野, 清貴
Published 2008

高階書換え系における引数切り落とし法と実効規則

by NISHIDA, Naoki, SAKAI, Masahiro, SAKABE, Toshiki, KUSAKARI, Keiichirou, SUZUKI, Sho, 西田, 直樹, 酒井, 正彦, 坂部, 俊樹, 草刈, 圭一朗, 鈴木, 翔
Published 2009

条件付き等式の変換に基づくプログラム生成

by KUSAKARI Keiichirou, NISHIDA, Naoki, SAKABE, Toshiki, SAKAI, Masahiro, NAGASHIMA, Masanori, 草刈, 圭一朗, 西田, 直樹, 坂部, 俊樹, 酒井, 正彦, 長島, 正憲
Published 2009