2 search results - page 1 / 1 » The Hydra Battle Revisited |
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
FUN
2007
Springer
13 years 11 months ago
2007
Springer
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...