6 search results - page 2 / 2 » Rewriting and Well-Definedness within a Proof System |
193
click to vote
BIRTHDAY
2007
Springer
16 years 4 days 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...