摘要：EPOSTAR：一个支持指数级时间复杂度的重写系统路径排序
作者：Martin Avanzini and Naohi Eguchi and Georg Moser
论文ID：1010.1128
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-06-10
PDF 下载： 英文版 中文版pdf翻译中