Concepedia

Toshiki Sakabe

TS

Statistics

Publications

6

Citations

91

H-Index

6

Active since

2001

Affiliations

Nagoya University(Current)

Toshiki Sakabe is an author at Nagoya University specializing in computing, computer science, and rewrite systems.

Publications per year

2001–2014

6

Publications

6

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

Masahiko Sakai, Yoshitsugu Watanabe, Toshiki Sakabe · Institutional Repositories DataBase (IRDB) · 2001 · 22 citations · Full text

Computing, Computer Science, Formal Methods +11

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Naoki Nishida, Masahiko Sakai, Toshiki Sakabe · Logical Methods in Computer Science · 2012 · 17 citations · Full text

Computing, Computer Science, Algorithms +10

Narrowing-based simulation of term rewriting systems with extra variables and its Termination Proof

Naoki Nishida, Masahiko Sakai, Toshiki Sakabe · Electronic Notes in Theoretical Computer Science · 2003 · 16 citations · Full text

Computing, Computer Science, Algorithms +12

A unified ordering for termination proving

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe · Science of Computer Programming · 2014 · 15 citations

Computing, Computer Science, Algorithms +11

Generation of Inverse Term Rewriting Systems for Pure Treeless Functions

Naoki Nishida, Masahiko Sakai, Toshiki Sakabe · Institutional Repositories DataBase (IRDB) · 2001 · 11 citations · Full text

Computing, Computer Science, Algorithms +10

1–5 of 6