毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；加布里埃尔·费雷拉·席尔瓦；特默尔库西亚；丹尼尔·南特斯·索布里尼奥 标称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） 全文： 内政部
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；丹尼尔·南特斯·索布里尼奥 关于名词句法和置换不动点。 （英语） 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公司：第68季度第42季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人，LIPIcs——莱布尼茨国际程序。通知。108，第7条，第16页（2018；Zbl 1462.68089） 全文： 内政部