Hydra Battles and AC Termination
Authors: Nao Hirokawa and Aart Middeldorp
Paper Information
| Title: | Hydra Battles and AC Termination |
| Authors: | Nao Hirokawa and Aart Middeldorp |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | battle of Hercules and Hydra, term rewriting, termination |
| Pages: | 5 |
| Talk: | Aug 11 12:00 (Session 125R) |
| Paper: |  |