| |
| 2009 | ||
|---|---|---|
| 4 | EE | Naoki Nishida, Masahiko Sakai: Completion after Program Inversion of Injective Functions. Electr. Notes Theor. Comput. Sci. 237: 39-56 (2009) |
| 2007 | ||
| 3 | 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) |
| 2005 | ||
| 2 | EE | Naoki Nishida, Masahiko Sakai, Toshiki Sakabe: Partial Inversion of Constructor Term Rewriting Systems. RTA 2005: 264-278 |
| 2003 | ||
| 1 | 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) |
| 1 | Tomohiro Mizutani | [3] |
| 2 | Toshiki Sakabe | [1] [2] |
| 3 | Masahiko Sakai | [1] [2] [3] [4] |