dblp.uni-trier.dewww.uni-trier.de

Charles Hoot Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
4EENachum 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
2EENachum 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

1Nachum Dershowitz [2] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)