| 2005 | ||
|---|---|---|
| 2 | EE | Su Feng: Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions. J. Comput. Sci. Technol. 20(4): 496-513 (2005) |
| 1993 | ||
| 1 | Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki: Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. DISCO 1993: 256-271 | |
| 1 | Yasuyoshi Inagaki | [1] |
| 2 | Toshiki Sakabe | [1] |