范德波尔,扬·科内利斯 终止高阶重写系统。Terminatie van hogere-orde herschrijfsystemen公司。 (英语) Zbl 0864.68053号 乌得勒支:乌得勒支大学。维斯贝盖尔特。第147页(1996年)。 引用于9文件 MSC公司: 2012年第68季度 语法和重写系统 68-02 与计算机科学有关的研究展览会(专著、调查文章) PDF格式BibTeX公司 XML格式引用 \textit{J.C.van de Pol},高阶重写系统的终止。终止van-hogere或herschrijfsystemen。乌得勒支:乌得勒支大学。Wijsbegeerte(1996;Zbl 0864.68053)