曼弗雷德·施密特·沙乌;乔治·施尼特 直线压缩管柱的快速相等测试。 (英语) Zbl 1243.68324号 信息处理。莱特。 112,编号8-9,341-345(2012).MSC公司:68瓦20 68页30 2012年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{G.Schnitger},Inf.过程。莱特。112、第8--9、341--345号(2012;Zbl 1243.68324) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 使用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},Inf.过程。莱特。110,第6号,232--235(2010;Zbl 1209.68308) 全文: 内政部