| |
| 2005 | ||
|---|---|---|
| 4 | Munehiro Iwami: Persistence of Termination for Term Rewriting Systems with Ordered Sorts. Artificial Intelligence and Applications 2005: 674-679 | |
| 3 | Munehiro Iwami: Persistence of Termination for Right-Linear Overlay Term Rewriting Systems. Artificial Intelligence and Applications 2005: 686-691 | |
| 2 | Munehiro Iwami: Persistence of Semi-Completeness for Term Rewriting Systems. Artificial Intelligence and Applications 2005: 692-696 | |
| 1 | Munehiro Iwami: An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited. LAPTEC 2005: 18-25 | |