Hydra Battles and AC Termination

Title:Hydra Battles and AC Termination

Authors:Nao Hirokawa and Aart Middeldorp

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.