| ||||
| ||||
![]() Title:Hydra Battles and AC Termination Conference:WST22 Tags:battle of Hercules and Hydra, term rewriting and termination Abstract: We encode the Battle of Hercules and Hydra as a rewrite system with AC symbols. Its termination is proved by a new termination criterion for AC rewriting. Hydra Battles and AC Termination ![]() Hydra Battles and AC Termination | ||||
Copyright © 2002 – 2025 EasyChair |