| 2007 |
|---|
| 11 | EE | Keiichirou 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) |
| 10 | EE | Naoki Nishida,
Tomohiro Mizutani,
Masahiko Sakai:
Transformation for Refining Unraveled Conditional Term Rewriting Systems.
Electr. Notes Theor. Comput. Sci. 174(10): 75-95 (2007) |
| 2006 |
|---|
| 9 | EE | Yi Wang,
Masahiko Sakai:
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.
RTA 2006: 343-356 |
| 2005 |
|---|
| 8 | EE | Naoki Nishida,
Masahiko Sakai,
Toshiki Sakabe:
Partial Inversion of Constructor Term Rewriting Systems.
RTA 2005: 264-278 |
| 7 | EE | Keiichirou 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) |
| 6 | EE | Masahiko Sakai,
Keiichirou Kusakari:
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems.
IEICE Transactions 88-D(3): 583-593 (2005) |
| 2003 |
|---|
| 5 | EE | Naoki Nishida,
Masahiko Sakai,
Toshiki Sakabe:
Narrowing-based simulation of term rewriting systems with extra variables.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 2002 |
|---|
| 4 | EE | Hideto Kasuya,
Masahiko Sakai,
Kiyoshi Agusa:
Descendants and Head Normalization of Higher-Order Rewrite Systems.
FLOPS 2002: 198-211 |
| 1998 |
|---|
| 3 | EE | Masahiko Sakai,
Yoshihito Toyama:
Semantics and Strong Sequentiality of Priority Term Rewriting Systems.
Theor. Comput. Sci. 208(1-2): 87-110 (1998) |
| 1997 |
|---|
| 2 | EE | Takeshi Hamaguchi,
Masahiko Sakai,
Shinichirou Yamamoto,
Kiyoshi Agusa:
Algebraic specification with provision for the automatic addition of error descriptions.
Systems and Computers in Japan 28(1): 1-9 (1997) |
| 1996 |
|---|
| 1 | | Masahiko Sakai,
Yoshihito Toyama:
Semantics and Strong Sequentiality of Priority Term Rewriting Systems.
RTA 1996: 377-391 |
