The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Toshiki Sakabe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki
    TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:571-574 [Conf]
  2. Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki
    Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:256-271 [Conf]
  3. Toshiki Sakabe, Yasuyoshi Inagaki, Namio Honda
    Specification of Abstract Data Types with Partially Defined Operations. [Citation Graph (0, 0)][DBLP]
    ICSE, 1982, pp:218-224 [Conf]
  4. Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
    An Extension of the Testing Method for Processes Passing Infinite Values. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:155-173 [Conf]
  5. Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki
    Algebraic Specification Method of Programming Languages. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:144-157 [Conf]
  6. Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
    Partial Inversion of Constructor Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:264-278 [Conf]
  7. Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
    Narrowing-based simulation of term rewriting systems with extra variables. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  8. Yasuyoshi Inagaki, Toshiki Sakabe, Teruo Fukumura
    Addressable Approximations to Nonaddressable Data Graphs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1978, v:17, n:1, pp:1-34 [Journal]

  9. Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002