玛丽亚·阿尔普特;黛米斯·巴利斯;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮尼亚 基于变量的方程反统一。 (英语) Zbl 1522.68251号 Alicia Villanueva(编辑),基于逻辑的程序合成和转换。第32届国际研讨会,LOPSTR 2022,格鲁吉亚第比利斯,2022年9月21日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13474, 44-60 (2022).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。13474,44-60(2022;Zbl 1522.68251) 全文: 内政部
阿尔特·卡奇,哈桑;加布里埃拉·帕西 具有相似构造函数的签名上一阶项的模糊格运算:一种基于约束的方法。 (英语) Zbl 1452.06008号 模糊集系统。 391, 1-46 (2020).MSC公司:72年6月 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{G.Pasi},模糊集系统。391,1--46(2020;Zbl 1452.06008) 全文: 内政部
大卫·M·塞尔纳。;特默尔库西亚 高阶模式泛化模方程理论。 (英语) Zbl 1495.03013号 数学。结构。计算。科学。 30,第6号,627-663(2020).MSC公司:03B35型 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Cerna}和\textit{T.Kutsia},数学。结构。计算。科学。30,第6号,627--663(2020;Zbl 1495.03013) 全文: 内政部
大卫·M·塞尔纳。;特默尔库西亚 高阶推广的通用框架。 (英语) Zbl 1528.68156号 Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第10条,第19页(2019年)。MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Cerna}和\textit{T.Kutsia},LIPIcs——莱布尼茨国际程序。通知。131,第10条,第19页(2019年;Zbl 1528.68156) 全文: 内政部
大卫·M·塞尔纳。;特默尔库西亚 高阶方程模式反统一。 (英语) Zbl 1462.68092号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第12条,第17页(2018年)。MSC公司:2012年第68季度 03B40型 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Cerna}和\textit{T.Kutsia},LIPIcs——莱布尼茨国际程序。通知。108,第12条,第17页(2018;Zbl 1462.68092) 全文: 内政部 arXiv公司
亚历山大·鲍姆加特纳;特默尔库西亚;约尔迪·利维;维拉雷特,马特乌 术语图反统一。 (英语) Zbl 1462.68091号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第9条,第17页(2018年)。MSC公司:2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Baumgartner}等人,LIPIcs——莱布尼茨国际程序。通知。108,第9条,第17页(2018;Zbl 1462.68091) 全文: 内政部
亚历山大·鲍姆加特纳;特默尔库西亚 未排名的二阶反统一。 (英语) Zbl 1372.68152号 Inf.计算。 255,第2部分,262-286(2017).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Baumgartner}和\textit{T.Kutsia},Inf.Compute。255,第2部分,262--286(2017;Zbl 1372.68152) 全文: 内政部
亚历山大·鲍姆加特纳;特默尔库西亚;约尔迪·利维;维拉雷特,马特乌 线性时间内的高阶模式反统一。 (英语) Zbl 1407.68089号 J.汽车。推理 58,第2期,293-310(2017).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baumgartner}等人,J.Autom。推理58,No.2,293--310(2017;Zbl 1407.68089) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞格尔 ACUOS:具有子类型和继承的模块化ACU泛化系统。 (英语) Zbl 1432.68422号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 573-581 (2014).MSC公司:68T27型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。8761573--581(2014年;Zbl 1432.68422) 全文: 内政部 链接
亚历山大·鲍姆加特纳;特默尔库西亚 反统一算法库。 (英语) Zbl 1432.68426号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 543-557 (2014).MSC公司:68T27型 68伏35 PDF格式BibTeX公司 XML格式引用 \textit{A.Baumgartner}和\textit{T.Kutsia},莱克特。注释计算。科学。8761543--557(2014年;Zbl 1432.68426) 全文: 内政部