曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 高阶表达式与递归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) 全文: 内政部