×

找到37个文档（结果1-37）

最新 引文 关联
曼弗雷德·施密特·沙乌;尤努斯·库茨

与letrec和环境变量的名义统一。 （英语） Zbl 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｝，Lect。注释计算。科学。12561，95-112（2021；Zbl 07496643）
全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔

通过并发Haskell的MVar在pi-calculus中正确实现同步消息传递。 （英语） 兹布尔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公司 链接
曼弗雷德·施密特·沙乌;大卫·萨贝尔

原子和上下文变量的名义统一。 （英语） Zbl 1462.68026号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz 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；兹bl 1462.68026）
全文： 内政部
大卫·萨贝尔;曼弗雷德·施密特·沙乌

观察pi-calculus的成功。 （英语） Zbl 1428.68206号

Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz 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）
全文： 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔

call-by-nead和call-by-name多态型结石的上下文等效性（初步报告）。 （英语） Zbl 1428.68113号

Schmidt-Schauß，Manfred（ed.）等人，《程序转换和评估重写技术第一次国际研讨会》，WPTE'14，奥地利维也纳，2014年7月13日。Wadern:Schloss Dagstuhl–Leibniz 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 1348.68085号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，227-242（2011）。
MSC公司：2012年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauss}等人，Lect。注释计算。科学。6989、227--242（2011；Zbl 1348.68085）
全文： 内政部
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌

与单例树语法的统一。 （英语） Zbl 1242.68132号

Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595365-379（2009）。
MSC公司：2012年第68季度 03B35型 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{A.Gascon}等人，Lect。注释计算。科学。5595365-379（2009年；Zbl 1242.68132）
全文： 内政部
马库斯·洛伊;塞巴斯蒂安·马内斯;曼弗雷德·施密特·沙乌

语法压缩树中的参数缩减。 （英语） Zbl 1234.68182号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504212-226（2009）。
MSC公司：2012年第68季度 68页30
PDF格式BibTeX公司 XML格式引用
\textit{M.Lohrey}等人，Lect。注释计算。科学。5504212--226（2009年；Zbl 1234.68182）
全文： 内政部
曼弗雷德·施密特·肖斯;埃琳娜·马奇卡索娃

具有letrec、构造函数和case的非确定性按需调用lambda-calculus中的有限模拟方法。 （英语） Zbl 1145.68377号

安德烈·沃伦科夫（编辑），《重写技术与应用》。第19届国际会议，2008年RTA，2008年7月15日至17日，奥地利哈根贝格。诉讼程序。柏林：施普林格出版社（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）
全文： 内政部
约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默（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 1503.03020号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 287-301 (1996).
MSC公司：03B35型 03B25号 03C05号机组 03D40号 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。1103287-301（1996年；兹bl 1503.03020）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件