Results 1 - 1 of 1

Closed nominal rewriting: properties and applications 3–5

by Ro Díaz-caro, Simon Perdrix, Christine Tasson, Benoît Valiron, Harald Zankl, Nao Hirokawa, Aart Middeldorp , 2010
"... HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen ..."
Abstract - Add to MetaCart
HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen