| |
| 1995 | ||
|---|---|---|
| 4 | EE | Nachum Dershowitz, Charles Hoot: Natural Termination. Theor. Comput. Sci. 142(2): 179-207 (1995) |
| 1994 | ||
| 3 | Charles Hoot: Termination for Restricted Derivations and Conditional Rewrite Systems. CTRS 1994: 206-222 | |
| 1993 | ||
| 2 | Nachum Dershowitz, Charles Hoot: Topics in Termination. RTA 1993: 198-212 | |
| 1992 | ||
| 1 | Charles Hoot: Completion for Constrained Term Rewriting Systems. CTRS 1992: 408-423 | |
| 1 | Nachum Dershowitz | [2] [4] |