×

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

最新的 引文 关联
乌尔里希·伯杰；Hideki Tsuiki

从证明中提取总Amb程序。 （英语） Zbl 1528.68077号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13240, 85-113 (2022).
MSC公司：68号30 03B70号 68甲19 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{U.Berger}和\textit{H.Tsuiki}，莱克特。票据计算。科学。13240，85-113（2022；Zbl 1528.68077）
全文： 内政部 arXiv公司
曼弗雷德·施密特·沙乌；大卫·萨贝尔

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）
全文： 内政部
大卫·萨贝尔

像素中的结构重写。 （英语） 兹比尔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 第68季度第42季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Sabel}，OASIcs--OpenAccess服务器。通知。40、51-62（2014年；Zbl 1428.68205）
全文： 内政部
曼弗雷德·施密特·肖斯；埃琳娜·马奇卡索娃

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

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，321-335（2008）。
MSC公司：68甲18 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauss}和\textit{E.Machkasova}，莱克特。票据计算。科学。5117、321--335（2008年；Zbl 1145.68377）
全文： 内政部
约阿希姆·尼伦；大卫·萨贝尔；曼弗雷德·施密特·沙乌；施温哈默，Jan

带有参考单元格和期货的并发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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件