Schmidt Schauß,曼弗雷德;大卫·萨贝尔 类型化概率按需调用函数语言中的程序等价性。 (英语) 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) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 通过并发Haskell的MVar在pi-calculus中正确实现同步消息传递。 (英语) Zbl 07453965号 Dardha,Ornela(ed.)等人,第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录,EXPRESS/SOS 2020,在线,2020年8月31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32288-105(2020年)。MSC公司:第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt Schauß}和\textit{D.Sabel},电子。程序。西奥。计算。科学。(EPTCS)32288--105(2020;Zbl 07453965) 全文: arXiv公司 链接
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) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 原子和上下文变量的名义统一。 (英语) 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) 全文: 内政部
大卫·萨贝尔;Schmidt Schauß,曼弗雷德 观察pi-calculus的成功。 (英语) Zbl 1428.68206号 Chiba,Yuki(编辑)等人,2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会,WPTE'15。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).MSC公司:68问题85 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schauß},OASIcs--OpenAccess Ser。通知。46、31-46(2015年;Zbl 1428.68206) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔;约阿希姆·尼伦;施温哈默(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) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 call-by-nead和call-by-name多态型结石的上下文等效性(初步报告)。 (英语) Zbl 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) 全文: 内政部
大卫·萨贝尔 像素中的结构重写。 (英语) Zbl 1428.68205号 Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).MSC公司:68问题85 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel},OASIcs——OpenAccess系列。通知。40、51-62(2014年;Zbl 1428.68205) 全文: 内政部
大卫·萨贝尔;Schmidt Schauß,曼弗雷德 允许部分函数的严格函数程序属性的二值逻辑。 (英语) 兹比尔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) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔;埃琳娜·马奇卡索娃 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 (英语) Zbl 1260.68075号 Inf.流程。莱特。 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 1348.68085号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,227-242(2011)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人,Lect。注释计算。科学。6989、227--242(2011;Zbl 1348.68085) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 为实现上下文对等,关闭可能、应该和必须的收敛。 (英语) Zbl 1209.68308号 Inf.流程。莱特。 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) 全文: 内政部
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) 全文: 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马尔科·舒茨 诺克严格性分析的安全性。 (英语) 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) 全文: 内政部
约阿希姆·尼伦;大卫·萨贝尔;Schmidt Schauß,曼弗雷德;施温哈默(Jan Schwinghammer) 带有参考单元格和期货的并发lambda演算的观察语义。 (英语) Zbl 1316.68034号 Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,313-337(2007)。MSC公司:68甲15 68甲18 68甲19 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,《电子》。注释Theor。计算。科学。173、313--337(2007;Zbl 1316.68034) 全文: 内政部
曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 决定在无限非严格数据结构上包含集合常量。 (英语) 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