Sciweavers

16 search results - page 1 / 4
» rta 2009
Sort
View
122
Voted
RTA
2009
Springer
15 years 10 months ago
Automatic Termination
Johannes Waldmann
130
Voted
RTA
2009
Springer
16 years 11 days ago
Proving Termination of Integer Term Rewriting
Carsten Fuhs, Jürgen Giesl, Martin Plück...
172
Voted
LATA
2009
Springer
16 years 18 days 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