曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 高阶表达式与递归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公司
曼弗雷德·施密特·沙乌;尤努斯·库茨 与letrec和环境变量的名义统一。 （英语） Zbl 07496643号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，LOPSTR 2020，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 95-112 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{Y.Kutz}，莱克特。注释计算。科学。12561，95-112（2021；Zbl 07496643） 全文： 内政部
尤努斯·库茨;曼弗雷德·施密特·沙乌 用广义名词统一重写。 （英语） Zbl 1495.68115号 数学。结构。计算。科学。 30，第6号，710-735（2020）.MSC公司：2012年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kutz}和\textit{M.Schmidt-Schauß}，数学。结构。计算。科学。30，第6号，710--735（2020；Zbl 1495.68115） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;尤努斯·D·K·库茨。 原子变量的名义统一。 （英语） Zbl 1395.68096号 J.塞姆。计算。 90，42-64（2019）.MSC公司：68号30 2017年第68季度 65年第68季度 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，J.Symb。计算。90、42-64（2019年；Zbl 1395.68096） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 原子和上下文变量的名义统一。 （英语） Zbl 1462.68026号 Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第28条，第20页（2018年）。MSC公司：68甲18 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel}，LIPIcs——莱布尼茨国际程序。通知。108，第28条，第20页（2018；Zbl 1462.68026） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默（Jan Schwinghammer） 观察程序计算和翻译的正确性。 （英语） Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，Theor。计算。科学。577、98——124（2015年；Zbl 1309.68052） 全文： 内政部 哈尔
大卫·萨贝尔;曼弗雷德·施密特·沙乌 允许部分函数的严格函数程序属性的二值逻辑。 （英语） Zbl 1267.68088号 J.汽车。推理 50，第4期，383-421（2013）.MSC公司：68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schau}，J.Autom。推理50，No.4，383--421（2013；Zbl 1267.68088） 全文： 内政部
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的判定性。 （英语） Zbl 1126.03017号 J.塞姆。计算。 40，第2期，905-954（2005）.MSC公司：03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，J.Symb。计算。40，第2号，905--954（2005；Zbl 1126.03017） 全文： 内政部 链接
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 具有两个上下文变量的上下文方程的可解性是可判定的。 （英语） Zbl 1017.68165号 J.塞姆。计算。 33，第1期，77-122（2002）.MSC公司：68瓦30 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，J.Symb。计算。33，第1号，77-122（2002；Zbl 1017.68165） 全文： 内政部
曼弗雷德·施密特·沙乌 分布式统一的算法。 （英语） 兹比尔1503.03020 Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 287-301 (1996).MSC公司：03B35型 03B25号 03C05号机组 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。1103287--301（1996年；Zbl 1503.03020） 全文： 内政部 链接
曼弗雷德·施密特·沙乌 任意不相交等式理论的组合中的统一。 （英语） Zbl 0691.03003号 J.塞姆。计算。 8，编号1-2，51-99（1989）. 审核人：C.马萨拉吉 MSC公司：03B35型 03C05号机组 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，J.Symb。计算。8，编号1--2，51-99（1989；Zbl 0691.03003） 全文： 内政部
曼弗雷德·施密特·肖斯 置换方程理论中的统一是不可判定的。 （英语） Zbl 0684.03019号 J.塞姆。计算。 8，第4期，415-421（1989）.MSC公司：03天35分 03C05号机组 68问题65 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}，J.Symb。计算。8，第4号，415--421（1989；Zbl 0684.03019） 全文： 内政部
汉斯·尤根·伯克特;亚历山大·赫罗尔德;曼弗雷德·施密特·肖斯 关于方程理论、统一性和（不）可判定性。 （英语） Zbl 0684.03004号 J.塞姆。计算。 8，编号1-2，3-49（1989）. 审核人：H.-J.Bürckert先生 MSC公司：03B35型 03C05号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Bürckert}等人，J.Symb。计算。8，编号1--2，3--49（1989；Zbl 0684.03004） 全文： 内政部