Creative Commons
| Preface Manfred Schmidt-Schauss and Aart Middeldorp | ||
| A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems | ||
| Takahito Aoto and Yoshihito Toyama | ||
| Quantifier-Free Interpolation of a Theory of Arrays | ||
| Roberto Bruttomesso, Silvio Ghilardi and Silvio Ranise | ||
| Modes of Convergence for Term Graph Rewriting | ||
| Patrick Bahr | ||
| Dynamic Dependency Pairs for Algebraic Functional Systems | ||
| Cynthia Kop and Femke van Raamsdonk | ||
| Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity | ||
| Naoki Nishida, Masahiko Sakai and Toshiki Sakabe | ||
| A Rewriting View of Simple Typing | ||
| Aaron Stump, Garrin Kimmell, Hans Zantema and Ruba El Haj Omar | ||