| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Wensheng Yang, Yuanrong Xin, Su Feng: A study on general e-government operation and maintenance model. ICEGOV 2011: 265-268 |
| 2005 | ||
| 3 | | 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) |
| 1995 | ||
| 2 | | Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki: Mechanizing Explicit Inductive Equational Reasoning by DTRC. IEICE Transactions 78-D(2): 113-121 (1995) |
| 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] |
| 2 | Toshiki Sakabe | [1] [2] |
| 3 | Yuanrong Xin | [4] |
| 4 | Wensheng Yang | [4] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page