SPECIAL ISSUE:
Selected Papers of the Conference "Rewriting Techniques and Applications RTA 2010"
Edinburgh, Scotland, U.K., 2010



Preface
C. Lynch


Modular Complexity Analysis for Term Rewriting
Harald Zankl and Martin Korp


Towards 3-Dimensional Rewriting Theory
Samuel Mimram


Partial Order Infinitary Term Rewriting
Patrick Bahr


Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop and Vincent van Oostrom


Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Friedrich Neurauter and Aart Middeldorp



DOI: 10.2168/LMCS-RTA:2010

Creative Commons