dblp.uni-trier.dewww.uni-trier.de

Keiichirou Kusakari

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EEKeiichirou Kusakari, Masahiko Sakai: Enhancing dependency pair method using strong computability in simply-typed term rewriting. Appl. Algebra Eng. Commun. Comput. 18(5): 407-431 (2007)
5EEKeiichirou Kusakari, Yuki Chiba: A Higher-Order Knuth-Bendix Procedure and Its Applications. IEICE Transactions 90-D(4): 707-715 (2007)
2006
4EEKeiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama: Elimination Transformations for Associative-Commutative Rewriting Systems. J. Autom. Reasoning 37(3): 205-229 (2006)
2005
3EEKeiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe: Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting. IEICE Transactions 88-D(12): 2715-2726 (2005)
2EEMasahiko Sakai, Keiichirou Kusakari: On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems. IEICE Transactions 88-D(3): 583-593 (2005)
1999
1 Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama: Argument Filtering Transformation. PPDP 1999: 47-61

Coauthor Index

1Yuki Chiba [5]
2Masaki Nakamura [1] [4]
3Toshiki Sakabe [3]
4Masahiko Sakai [2] [3] [6]
5Yoshihito Toyama [1] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)