Sciweavers

16 search results - page 1 / 4
» rta 2009
Sort
View
RTA
2009
Springer
15 years 7 months ago
Automatic Termination
Johannes Waldmann
RTA
2009
Springer
15 years 9 months ago
Proving Termination of Integer Term Rewriting
Carsten Fuhs, Jürgen Giesl, Martin Plück...
LATA
2009
Springer
15 years 10 months ago
Rigid Tree Automata
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
Florent Jacquemard, Francis Klay, Camille Vacher