毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；加布里埃尔·费雷拉·席尔瓦；特默尔库西亚；丹尼尔·南特斯·索布里尼奥 标称AC匹配。 （英语） Zbl 07810723号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 53-68 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，Lect。注释计算。科学。14101、53-68（2023；Zbl 07810723） 全文： 内政部
毛里西奥·阿亚拉·林科恩；华盛顿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） 全文： 内政部
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；加布里埃尔·费雷拉·席尔瓦；丹尼尔·南特斯·索布里尼奥 一种经过认证的泛函标称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格式引用 \textit{M.Ayala-Rincón}等人，Lect。注释计算。科学。12042、123--138（2020；Zbl 1502.68145） 全文： 内政部
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；Daniele Nantes Sobrinho；迪维德·维尔 关于解决名义不统一约束。 （英语） Zbl 1495.03048号 Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 3-22 (2020).MSC公司：03B70号 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。348，3--22（2020年；Zbl 1495.03048） 全文： 内政部
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；丹尼尔·南特斯·索布里尼奥 关于名词句法和置换不动点。 （英语） 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公司
毛里西奥·阿亚拉·林科恩；华盛顿州，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） 全文： 内政部
毛里西奥·阿亚拉·林科恩；华盛顿州，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 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） 全文： 内政部
毛里西奥·阿亚拉·林科恩；华盛顿州，de Carvalho-Segundo；玛丽贝尔·费尔南德斯；丹尼尔·南特斯·索布里尼奥 与A和AC函数符号的标称\（\alpha\）等价的形式化。 （英语） Zbl 1401.68273号 Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第11次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》332，21-38（2017）。MSC公司：68吨15 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。332、21-38（2017；Zbl 1401.68273） 全文： 内政部
埃内斯托·科佩罗；阿尔瓦罗·塔西斯特罗；诺拉·萨兹；安娜·波夫；玛丽贝尔·费尔南德斯 构造型理论中lambda演算的α-结构归纳和递归。 （英语） Zbl 1395.68085号 Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323109-124（2016）。MSC公司：68甲18 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Copello}等人，《电子》。注释Theor。计算。科学。323109--124（2016；Zbl 1395.68085） 全文： 内政部
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；罗查·奥利维拉，安娜·克里斯蒂娜 标称统一算法在PVS中的完整性。 （英语） Zbl 1394.68348号 Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，57-74（2016）。MSC公司：68吨15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。323、57-74（2016年；Zbl 1394.68348） 全文： 内政部
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；默多克·詹姆斯·加贝；罗查·奥利维拉，安娜·克里斯蒂娜 检查名义重写规则的重叠。 （英语） Zbl 1401.68131号 Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，39-56（2016）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。323、39-56（2016；Zbl 1401.68131） 全文： 内政部
玛丽贝尔·费尔南德斯 AC补语问题：可满足性和否定消除。 （英语） 兹比尔1503.03017 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。690, 358-373 (1993).MSC公司：03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fernández}，Lect。注释计算。科学。690358-373（1993年；Zbl 1503.03017） 全文： 内政部
休伯特·科蒙；玛丽贝尔·费尔南德斯 方程公式中的否定消去（扩展摘要）。 （英语） Zbl 1496.03040号 Havel，Ivan M.（编辑）等人，《1992年计算机科学的数学基础》。第17届国际研讨会，1992年8月24日至28日，捷克斯洛伐克布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。629, 191-199 (1992).MSC公司：03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon}和\textit{M.Fernández}，莱克特。注释计算。科学。629191-199（1992年；Zbl 1496.03040） 全文： 内政部