×

终止高阶重写系统。Terminatie van hogere-orde herschrijfsystemen公司。 (英语) Zbl 0864.68053号

乌得勒支:乌得勒支大学。维斯贝盖尔特。第147页(1996年)。

MSC公司:

2012年第68季度 语法和重写系统
68-02 与计算机科学有关的研究展览会(专著、调查文章)
PDF格式BibTeX公司 XML格式引用