霍雷修·西尔斯泰；皮埃尔·勒穆索；皮埃尔·埃蒂安·莫罗 模式消除转换。 （英语） Zbl 07496642号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12561, 74-92 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Cirstea}等人，Lect。票据计算。科学。12561，74-92（2021；Zbl 07496642） 全文： 内政部 哈尔
瓦格伏尔盖，桑多尔 一些可判定性会导致单程减少。 （英语） Zbl 1429.68094号 J.日志。阿尔盖布。方法计划。 105，47-74（2019）. 审核人：马格努斯·斯坦比（图尔库） MSC公司：第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi}，J.Log。阿尔盖布。方法程序。105，47-74（2019；Zbl 1429.68094） 全文： 内政部
托马斯·杰奈特 树自动机完成的完整性。 （英语） Zbl 1462.68096号 Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第16条，第20页（2018年）。MSC公司：第68季度第42季度 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.基因}，LIPIcs——莱布尼茨国际程序。通知。108，第16条，第20页（2018；Zbl 1462.68096） 全文： 内政部
瓦格伏尔盖，桑多尔 可识别树语言的后代，用于带有位置切割策略的前缀约束线性单子项重写。 （英语） 兹比尔1398.68329 西奥。计算。科学。 732, 60-72 (2018). 审核人：马格努斯·斯坦比（图尔库） MSC公司：65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Vágvölgyi}，Theor。计算。科学。732、60-72（2018年；Zbl 1398.68329） 全文： 内政部
托马斯·杰奈特；亚恩鲑鱼 最内层重写的可达性分析。 （英语） Zbl 1398.68274号 日志。方法计算。科学。 13，第1号，第12号论文，35页（2017年）.MSC公司：第68季度第42季度 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{Y.鲑鱼}，Log。方法计算。科学。13，第1号，第12号论文，35页（2017；Zbl 1398.68274） 全文： 内政部 arXiv公司