曼弗雷德·施密特·沙乌;特穆尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 用递归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 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 1196.68113号 申请。代数工程通讯。计算。 20,编号5-6,427-445(2009). 审核人:Marco Gaboardi(博洛尼亚) MSC公司:2012年第68季度 03B15号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret},应用。代数工程通讯。计算。20,编号5--6427--445(2009;Zbl 1196.68113) 全文: 内政部