Abstract
After the successful international workshops on termination held in St. Andrews
(1993), La Bresse (1995), Ede (1997), and Dagstuhl (1999) a fifth workshop was
held in Utrecht, on the campus of Universiteit Utrecht, in conjunction with the
Twelfth International Conference on Rewriting Techniques and Applications.
(RTA 2001) and the Fourth International Workshop on Explicit
... read more