Sciweavers

20 search results - page 1 / 4
» rta 2005
Sort
View
140
Voted
RTA
2005
Springer
16 years 23 hour ago
Twenty Years Later
Jean-Pierre Jouannaud
RTA
2005
Springer
16 years 23 hour ago
Tyrolean Termination Tool
Nao Hirokawa, Aart Middeldorp
143
Voted
RTA
2005
Springer
16 years 23 hour ago
Abstract Modularity
Michael Abbott, Neil Ghani, Christoph Lüth
148
Voted
RTA
2005
Springer
16 years 23 hour ago
Open. Closed. Open
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
Nachum Dershowitz