Paper presented at RTA’2012

Eduardo Bonelli, Delia Kesner,  Carlos Lombardi and Alejandro Ríos, presented the paper “Normalisation for Dynamic Pattern Calculi”  in the 23rd International Conference on Rewriting Techniques and Applications (RTA) which was held in Nagoya, Japan, in May-June 2012.