Charles Hoot

According to our database, Charles Hoot authored at least 5 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Accommodating Shortened Term Lengths in a Capstone Course using Minimally Viable Prototypes.

Nathan W. Eloe, Charles Hoot

Proceedings of the IEEE Frontiers in Education Conference, 2020

1995

Natural Termination.

Nachum Dershowitz, Charles Hoot

Theor. Comput. Sci., 1995

1994

Termination for Restricted Derivations and Conditional Rewrite Systems.

Charles Hoot

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

1993

Topics in Termination.

Nachum Dershowitz, Charles Hoot

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

Completion for Constrained Term Rewriting Systems.

Charles Hoot

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992