On tree automata that certify termination of left-linear term rewriting systems
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans ZantemaVolume:
205
Year:
2007
Language:
english
Pages:
23
DOI:
10.1016/j.ic.2006.08.007
File:
PDF, 367 KB
english, 2007