毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;特穆尔库西亚;丹尼尔·南特斯·索布里尼奥 标称交流匹配。 (英文) 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) 全文: 内政部
Dundua,贝西克;特穆尔库西亚;米哈伊尔·鲁卡亚 未排名的名义统一。 (英文) Zbl 1530.68132号 Özgün,Aybüke(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。勒克特。注释计算。科学。13206, 279-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公司
特穆尔库西亚;马林·米尔恰 正则表达式顺序排序的统一和匹配。 (英文) Zbl 1456.68073号 J.塞姆。计算。 67,42-67(2015).MSC公司:2012年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}和\textit{M.Marin},J.Symb。计算。67、42-67(2015年;Zbl 1456.68073) 全文: 内政部
特穆尔库西亚;约尔迪·利维;马图·维拉雷特 论语境与序列统一的关系。 (英文) 兹比尔1194.68224 J.塞姆。计算。 45,第1期,74-95(2010).MSC公司:68立方英尺 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人,J.Symb。计算。45,第1号,74--95(2010;Zbl 1194.68224) 全文: 内政部
特穆尔库西亚 平面匹配。 (英文) Zbl 1152.68059号 J.塞姆。计算。 43,第12号,858-873(2008).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.库西亚},J.塞姆。计算。43,第12号,858--873(2008;Zbl 1152.68059) 全文: 内政部