曼弗雷德·施密特·沙乌;大卫·萨贝尔 类型化概率按需调用函数语言中的程序等价性。 (英语) Zbl 07741963号 J.日志。阿尔盖布。方法计划。 135,文章ID 100904,18 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},J.Log。阿尔盖布。方法计划。135,文章ID 100904,18 p.(2023;Zbl 07741963) 全文: 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默,Jan 观察程序计算和翻译的正确性。 (英语) 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) 全文: 内政部 哈尔
曼弗雷德·施密特·沙乌;大卫·萨贝尔 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 1209.68308号 信息处理。莱特。 110,第6号,232-235(2010).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt Schauß}和\textit{D.Sabel},信息处理。莱特。110,第6号,232--235(2010;Zbl 1209.68308) 全文: 内政部
马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 相似性意味着在一类非确定的按需调用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) 全文: 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 关于具有共享的高阶计算的一般上下文引理。 (英语) 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) 全文: 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 诺克严格性分析的安全性。 (英语) Zbl 1153.68012号 J.功能。程序。 18,第4号,503-551(2008).MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauss}等人,J.Funct。程序。18,第4号,503--551(2008;Zbl 1153.68012) 全文: 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 决定在无限非严格数据结构上包含集合常量。 (英语) 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 链接
曼弗雷德·施密特·沙乌 一元PCF中行为等效性的判定。 (英语) Zbl 0914.68125号 西奥。计算。科学。 216,编号1-2,363-373(1999).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauß},Theor。计算。科学。216,编号1--2,363--373(1999;Zbl 0914.68125) 全文: 内政部