曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 用递归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公司
曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特 用递归let实现高阶表达式的名义统一。 （英语） Zbl 1485.68074号 Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 328-344 (2017).MSC公司：68号30 68甲18 65年第68季度 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，Lect。注释计算。科学。10184，328--344（2017；Zbl 1485.68074） 全文： 内政部 arXiv公司
约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 关于有界二阶统一和分层上下文统一的复杂性。 （英语） 兹比尔1252.68160 日志。J.IGPL公司 第6号，第19页，第763-789页（2011年）. 审核人：Temur Kutsia（林茨） MSC公司：2012年第68季度 03B35型 03B40型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，Log。J.IGPL 19，第6号，763--789（2011；Zbl 1252.68160） 全文： 内政部
约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 一元二阶统一的复杂性。 （英语） Zbl 1166.03004号 SIAM J.计算。 38，第3期，1113-1140（2008）.MSC公司：03B35型 03B40型 2017年第68季度 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，SIAM J.Compute。38，编号3，1113--1140（2008；Zbl 1166.03004） 全文： 内政部
约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 分层上下文统一是NP完成的。 （英语） Zbl 1196.68112号 Furbach，Ulrich（编辑）等人，《自动推理》。2006年8月17日至20日，第三届国际联合会议，IJCAR 2006，美国华盛顿州西雅图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37187-8/pbk）。计算机科学讲义4130。人工智能课堂讲稿，82-96（2006）。MSC公司：2012年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，Lect。注释计算。科学。4130，82-96（2006；Zbl 1196.68112） 全文： 内政部
约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 有界二阶统一是NP-完全的。 （英语） Zbl 1151.68450号 Pfenning，Frank（编辑），术语重写和应用。第17届国际会议，RTA 2006，西雅图，华盛顿州，美国，2006年8月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-36834-2/pbk）。《计算机科学讲义》4098400-414（2006）。MSC公司：2012年第68季度 2017年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，Lect。注释计算。科学。4098400-414（2006年；Zbl 1151.68450） 全文： 内政部
约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 一元二阶统一是NP-完全的。 （英语） Zbl 1187.68278号 van Oostrom，Vincent（编辑），重写技术和应用。2004年6月3日至5日在德国亚琛举行的2004年RTA第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22153-0/pbk）。计算机科学课堂讲稿3091，55-69（2004）。MSC公司：2012年第68季度 03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，Lect。注释计算。科学。3091、55-69（2004年；Zbl 1187.68278） 全文： 内政部