第五届高阶重写国际研讨会论文集
计算机科学中的逻辑
2011-02-18 v1 编程语言
摘要
HOR 2010是一个展示高阶重写各方面工作的论坛。其目的是提供一个非正式且友好的环境，以讨论近期工作和进行中的工作。往届HOR会议曾在丹麦哥本哈根（HOR 2002）、德国亚琛（HOR 2004）、美国西雅图（HOR 2006）和法国巴黎（HOR 2007）举行。
引用
@article{arxiv.1102.3465,
title = {Proceedings 5th International Workshop on Higher-Order Rewriting},
author = {Eduardo Bonelli},
journal= {arXiv preprint arXiv:1102.3465},
year = {2011}
}