肯塔罗州菊池 名义重写中的接地合流和强交换模α等价。 (英语) Zbl 07719836号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13572, 255-271 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.菊池},莱克特。注释计算。科学。13572255-271(2022;Zbl 07719836) 全文: 内政部
Schmidt Schauß,曼弗雷德;特穆尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 用递归let实现高阶表达式的名义统一和匹配。 (英语) Zbl 07527238号 芬丹。通知。 185,编号3,247-283(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Fundam。通知。185,第3号,247--283(2022;Zbl 07527238) 全文: 内政部 arXiv公司
Schmidt Schauß,曼弗雷德;尤努斯·库茨 与letrec和环境变量的名义统一。 (英语) Zbl 07496643号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。1256195-112(2021)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{Y.Kutz},莱克特。注释计算。科学。12561,95-112(2021;Zbl 07496643) 全文: 内政部
肯塔罗州菊池;高仁青藤 带有原子变量的标称重写系统的汇流和交换。 (英语) Zbl 07496641号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12561, 56-73 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.菊池}和\textit{T.Aoto},莱克特。注释计算。科学。12561,56-73(2021;Zbl 07496641) 全文: 内政部
尤努斯·库茨;Schmidt Schauß,曼弗雷德 用广义名词统一重写。 (英语) Zbl 1495.68115号 数学。结构。计算。科学。 30,第6号,710-735(2020).MSC公司:2012年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kutz}和\textit{M.Schmidt-Schauß},数学。结构。计算。科学。30,第6号,710--735(2020;Zbl 1495.68115) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 原子和上下文变量的名义统一。 (英语) Zbl 1462.68026号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第28条,第20页(2018年)。MSC公司:68甲18 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},LIPIcs——莱布尼茨国际程序。通知。108,第28条,第20页(2018;Zbl 1462.68026) 全文: 内政部