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: |