曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 高阶表达式与递归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和环境变量的名义统一。 （英文） 兹伯利07496643 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，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） 全文： 内政部
Schmidt Schauß，曼弗雷德;大卫·萨贝尔;尤努斯·库茨。 原子变量的名义统一。 （英文） 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） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 call-by-nead和call-by-name多态型结石的上下文等效性（初步报告）。 （英文） 兹比尔1428.68113 Schmidt Schauß，Manfred（ed.）等人，第一届程序转换和评估重写技术国际研讨会，WPTE’14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 63-74 (2014).MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel}，OASIcs--开放存取服务。通知。40、63-74（2014年；Zbl 1428.68113） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 （英文） Zbl 1260.68075号 信息处理。莱特。 111，第14号，711-716（2011）.MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，《Inf.过程》。莱特。111，第14号，711--716（2011；Zbl 1260.68075） 全文： 内政部
斯特凡·霍尔德曼;尤里安·黑格 使“严格性”更具相关性。 （英文） Zbl 1232.68026号 高-订购符号。计算。 23，第3期，315-335（2010）.MSC公司：68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage}，高中-订购符号。计算。23，第3号，315--335（2010；Zbl 1232.68026） 全文： 内政部
马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 相似性意味着在一类非确定的按需调用lambda计算中等价。 （英文） Zbl 1187.68129号 Inf.计算。 208，第3期，276-291（2010）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}和\textit{M.Schmidt-Schauß}，Inf.Compute。208，第3号，276--291（2010；Zbl 1187.68129） 全文： 内政部
Schmidt Schauß，曼弗雷德;大卫·萨贝尔 关于具有共享的高阶计算的一般上下文引理。 （英文） Zbl 1191.68165号 西奥。计算。科学。 411，第11-13号，1521-1541（2010）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel}，Theor。计算。科学。411，编号11--131521--1541（2010；Zbl 1191.68165） 全文： 内政部
曼弗雷德·施密特·肖斯;埃琳娜·马奇卡索娃 具有letrec、构造函数和case的非确定性按需调用lambda-calculus中的有限模拟方法。 （英文） Zbl 1145.68377号 安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，321-335（2008）。MSC公司：68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}和\textit{E.Machkasova}，莱克特。注释计算。科学。5117321-335（2008年；兹bl 1145.68377） 全文： 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 决定在无限非严格数据结构上包含集合常量。 （英文） Zbl 1146.68353号 西奥。通知。应用。 41，第2期，225-241（2007）.MSC公司：68甲18 03B40型 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人，Theor。通知。申请。41，第2号，225--241（2007；Zbl 1146.68353） 全文： 内政部 Numdam编号 欧洲DML 链接