Charles Hoot

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 1

Top Topics

Regularization Term

Top Venues

Publications

Nathan W. Eloe, Charles Hoot
Accommodating Shortened Term Lengths in a Capstone Course using Minimally Viable Prototypes. FIE (2020)
Nachum Dershowitz, Charles Hoot
Natural Termination. Theor. Comput. Sci. 142 (2) (1995)
Charles Hoot
Termination for Restricted Derivations and Conditional Rewrite Systems. CTRS (1994)
Nachum Dershowitz, Charles Hoot
Topics in Termination. RTA (1993)
Charles Hoot
Completion for Constrained Term Rewriting Systems. CTRS (1992)