曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默（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） 全文： 内政部 哈尔
马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 相似性意味着在一类非确定的按需调用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） 全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 关于具有共享的高阶计算的一般上下文引理。 （英语） 兹比尔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中的有限模拟方法。 （英语） 兹比尔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}，莱克特。注释计算。科学。5117、321--335（2008年；Zbl 1145.68377） 全文： 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 诺克严格性分析的安全性。 （英语） Zbl 1153.68012号 J.功能。程序。 18，第4号，503-551（2008）.MSC公司：68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人，J.Funct。程序。18，第4号，503--551（2008；Zbl 1153.68012） 全文： 内政部