EasyChair Smart SlideDocs/Log in
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.

 
Hydra Battles and AC Termination
 
1
4
7
10
13
16
19
22
25
28
31
34
37
40
43
46
49
52
55
58
61
64
67
70
73
76
79
82
85
88
91
94
97
100
103
106
109
112
115
118
121
124
127
1of127
1
2
3
4
Copyright © 2002 – 2025 EasyChair