毛里西奥Ayala Rincón;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;特默尔库西亚;丹尼尔·南特斯·索布里尼奥 标称AC匹配。 (英语) Zbl 07810723号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 53-68 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \文本{M.Ayala Rincón}等人,Lect。注释计算。科学。14101、53-68(2023;Zbl 07810723) 全文: 内政部
Besik Dundua;特默尔库西亚;米哈伊尔·鲁卡亚 未排名的名义统一。 (英语) Zbl 1530.68132号 奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206279-296(2022)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dundua}等人,Lect。注释计算。科学。13206279--296(2022年;Zbl 1530.68132) 全文: 内政部
曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 用递归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公司
曼弗雷德·施密特·沙乌;尤努斯·库茨 与letrec和环境变量的名义统一。 (英语) Zbl 07496643号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 95-112 (2021).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{Y.Kutz},莱克特。注释计算。科学。12561,95-112(2021;Zbl 07496643) 全文: 内政部
毛里西奥Ayala Rincón;De Carvalho Segundo,华盛顿;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 用受保护的变量将标称C统一形式化。 (英语) Zbl 1495.68109号 数学。结构。计算。科学。 31,3号,286-311(2021).MSC公司:2012年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,《数学》。结构。计算。科学。31,第3号,286--311(2021;Zbl 1495.68109) 全文: 内政部
毛里西奥Ayala Rincón;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 一种经过认证的泛函标称C-统一算法。 (英语) Zbl 1502.68145号 Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042, 123-138 (2020).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Ayala Rincón}等人,Lect。注释计算。科学。12042、123--138(2020;Zbl 1502.68145) 全文: 内政部
毛里西奥Ayala Rincón;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 关于名词句法和置换不动点。 (英语) Zbl 1528.68152号 日志。方法计算。科学。 16,第1号,第19号论文,36页(2020年).MSC公司:2012年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,日志。方法计算。科学。16,第1号,第19号论文,36页(2020年;Zbl 1528.68152) 全文: arXiv公司
毛里西奥Ayala Rincón;华盛顿州,de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 通过与受保护变量的统一实现标称C匹配的形式化。 (英语) Zbl 1433.68186号 Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。344,47-65(2019年)。MSC公司:2012年第68季度 第68卷第15页 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,《电子》。注释Theor。计算。科学。344,47-65(2019年;Zbl 1433.68186) 全文: 内政部
毛里西奥Ayala Rincón;华盛顿州,de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉,安娜·克里斯蒂娜 与A、C和AC函数符号的标称(α)等价的形式化。 (英语) Zbl 1423.68405号 西奥。计算。科学。 781, 3-23 (2019).MSC公司:68吨15 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Theor。计算。科学。781,3--23(2019年;Zbl 1423.68405) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;大卫·萨贝尔;尤努斯·库茨。 原子变量的名义统一。 (英语) Zbl 1395.68096号 J.塞姆。计算。 90, 42-64 (2019).MSC公司:68纳米30 2017年第68季度 65年第68季度 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauß}等人,J.Symb。计算。90、42-64(2019年;Zbl 1395.68096) 全文: 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 原子和上下文变量的名义统一。 (英语) 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;兹bl 1462.68026) 全文: 内政部
毛里西奥Ayala Rincón;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 名义方程统一的定点约束。 (英语) Zbl 1462.68089号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第7条,第16页(2018年)。MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,LIPIcs——莱布尼茨国际程序。通知。108,第7条,第16页(2018;Zbl 1462.68089) 全文: 内政部