![](/img/cover-not-exists.png)
Induction for termination with local strategies
Olivier Fissore, Isabelle Gnaedig, Hélène KirchnerVolume:
58
Year:
2001
Language:
english
Pages:
34
DOI:
10.1016/s1571-0661(04)00284-1
File:
PDF, 514 KB
english, 2001