Proceedings 5th International Workshop on Higher-Order Rewriting
Logic in Computer Science
2011-02-18 v1 Programming Languages
Abstract
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 - Denmark (HOR 2002), Aachen - Germany (HOR 2004), Seattle - USA (HOR 2006) and Paris - France (HOR 2007).
Keywords
Cite
@article{arxiv.1102.3465,
title = {Proceedings 5th International Workshop on Higher-Order Rewriting},
author = {Eduardo Bonelli},
journal= {arXiv preprint arXiv:1102.3465},
year = {2011}
}