Charles Hoot

	1995
4		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

Coauthor Index

1

Nachum Dershowitz

[2] [4]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page