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 | ||