Rewriting calculi, higher-order reductions and patterns: introduction

Horatiu Cirstea, Maribel Fernández. Rewriting calculi, higher-order reductions and patterns: introduction. Mathematical Structures in Computer Science, 18(3):427-429, 2008. [doi]

Abstract

Abstract is missing.