×

找到63份文件（结果1-63）

最新的 引文 关联
Gianluca Curzi;米歇尔·帕加尼

概率演算中非懒惰的好处。适用的互模拟对于非惰性概率调用名是完全抽象的。 （英语） Zbl 1498.03041号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。327-340 (2020).
MSC公司：03B40型 03B48号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Curzi}和\textit{M.Pagani}，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。327--340（2020年；Zbl 1498.03041）
全文： 内政部
朱利奥·格雷里;卢卡·保里尼;西蒙娜·隆奇·德尔拉·罗卡

call-by-value lambda-calculus的标准化。 （英语） Zbl 1367.68052号

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38，211-225（2015）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Guerrieri｝等人，LIPIcs——莱布尼茨国际期刊。通知。38、211-225（2015；Zbl 1367.68052）
全文： 内政部
达米亚诺·马扎;尼尔·J·罗斯。

对称交互组合子集模型的完全抽象。 （英语） Zbl 1352.68187号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，316-330（2012）。
MSC公司：68问题85 03B40型 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Mazza}和\textit{N.J.Ross}，莱克特。注释计算。科学。7213、316-330（2012；Zbl 1352.68187）
全文： 内政部
斯特芬·Lösch;安德鲁·皮特斯（Andrew M.Pitts）。

将本地作用域名称的两种语义联系起来。 （英语） 兹比尔1247.68046

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学论文集12396-411，仅电子版（2011）。
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Lösch}和\textit{A.M.Pitts}，LIPIcs——莱布尼茨国际程序。通知。12396-411（2011；Zbl 1247.68046）
全文： 内政部 链接
德雷克·德雷尔;乔治·奈斯;拉尔斯·比克达尔

高阶状态和控制效果对局部关系推理的影响。 （英语） Zbl 1323.68203号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN公告45，编号9，143-156（2010）。
MSC公司：68号30 68甲18 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Dreyer}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27-29日。纽约州纽约市：计算机协会（ACM）。143-156（2010年；Zbl 1323.68203）
全文： 内政部
吉尔·巴特;本杰明·格雷戈里;圣地亚哥Zanella Béguelin

基于代码的加密证明的正式认证。 （英语） Zbl 1315.68081号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。90-101 (2009).
MSC公司：68号30 03B70号 68吨15 94A60
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，《第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。90-101（2009年；Zbl 1315.68081）
全文： 内政部
邓玉欣;杜文杰

概率倒刺同余。 （英语） Zbl 1279.68255号

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，185-203（2007）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Deng｝和\textit｛W.Du｝，电子。注释Theor。计算。科学。190，编号3，185--203（2007年；兹bl 1279.68255）
全文： 内政部
达米亚诺·马扎

相互作用组合子和内部分离的观测等价性。 （英语） Zbl 1278.68219号

Ian Mackie（编辑），第三届术语图改写国际研讨会论文集（TERMGRAPH 2006），奥地利维也纳，2006年4月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第1期，113-137（2007）。
MSC公司：68问题85 03B40型 03楼52 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Mazza}，电子。注释Theor。计算。科学。176，第1号，113--137（2007；Zbl 1278.68219）
全文： 内政部
塞缪尔·希姆

通过护照进行流动控制。（扩展摘要）。 （英语） Zbl 1151.68534号

Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，349-363（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Hym}，莱克特。注释计算。科学。470349-363（2007年；Zbl 1151.68534）
全文： 内政部
盖·麦库斯克

关于类Algol语言中坏变量构造函数的语义。 （英语） Zbl 1337.68053号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，169-186，仅电子版（2003）。
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.McCusker}，电子。注释Theor。计算。科学。83、169--186（2003年；Zbl 1337.68053）
全文： 内政部
乔塞普·卡莫纳;乔迪·科尔塔德拉

无功系统的输入/输出兼容性。 （英语） Zbl 1019.68616号

Aagaard，Mark D.（编辑）等人，《计算机辅助设计中的形式化方法》。第四届国际会议，2002年11月6日至8日，美国俄勒冈州波特兰市，FMCAD 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2517, 360-377 (2002).
MSC公司：68单位07 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Carmona}和\textit{J.Cortadela}，莱克特。注释计算。科学。2517，360-377（2002；Zbl 1019.68616）
全文： 链接
萨沃米尔·拉索塔

正则代数的行为构造函数实现。 （英语） 兹伯利0988.68110

Parigot，Michel（编辑）等人，《编程逻辑和自动推理》。第七届国际会议，2000年11月6日至10日，法国留尼汪岛LPAR 2000。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1955, 54-69 (2000).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.Lasota}，莱克特。注释计算。科学。1955年，54-69（2000年；Zbl 0988.68110）
林肯，P。;J·米切尔。;米切尔，M。;A.斯克洛夫。

概率多项式时间等价与安全性分析。 （英语） Zbl 0976.94029号

Jeannette M.Wing（编辑）等人，FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。2卷。柏林：施普林格出版社（ISBN 3-540-66587-0/vol1；3-540-665088-9/vol2）。莱克特。注释计算。科学。1708; 1709, 776-793 (1999).
MSC公司：94A62型 03B70号 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{P.Lincoln}等人，Lect。注释计算。科学。1708776--793（1999年；Zbl 0976.94029）
特奥多尔·科纳皮克;埃蒂安·佩耶特

线性有界机器的同步乘积。 （英语） Zbl 0947.03057号

乔巴努、加布里埃尔（编辑）等，《计算理论基础》。第12届国际研讨会，FCT’99。1999年8月30日至9月3日，罗马尼亚伊阿什伊。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1684, 362-373 (1999).
审核人：安纳托利·阿尼西莫夫（基辅）
MSC公司：03日第10天 68问题85 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{T.Knapik}和\textit{埃里·帕耶特}，莱克特。注释计算。科学。1684、362--373（1999；Zbl 0947.03057）
安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里

将过渡系统平铺为结构化煤层。 （英语） 兹比尔0944.18006

乔巴努、加布里埃尔（编辑）等，《计算理论基础》。第12届国际研讨会，FCT’99。1999年8月30日至9月3日，罗马尼亚伊阿什伊。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1684, 13-38 (1999).
审核人：A.Maggiolo-Schettini（比萨）
MSC公司：18 C50 第68季度10 18D05日 16瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。1684，13-38（1999；Zbl 0944.18006）
萨沃米尔·拉索塔

开放地图是代数观测等价性和双相似性之间的桥梁。 （英语） Zbl 0903.08008号

Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。第12届国际研讨会，WADT’97，意大利塔奎尼亚，1997年6月3日至7日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 285-299 (1998).
MSC公司：08A70号 第68季度10 68号01
PDF格式BibTeX公司 XML格式引用
\textit{S.Lasota}，莱克特。注释计算。科学。1376285-299（1998年；Zbl 0903.08008）
保罗·卡斯皮;Jean-Claude费尔南德斯;阿兰·吉拉尔

减少二进制分支的算法。 （英语） Zbl 1354.68051号

Thiagarajan，P.S.（编辑），《软件技术和理论计算机科学基础》。第十五届会议，印度班加罗尔，1995年12月18日至20日。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60692-0）。莱克特。注释计算。科学。1026, 279-293 (1995).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Caspi}等人，Lect。注释计算。科学。1026279--293（1995年；Zbl 1354.68051）
全文： 内政部
南帕文。;Hultström，m。;奎马达，J。;德·弗鲁托斯，D。;奥尔特加，Y。

逆膨胀。 （英语） Zbl 0769.68096号

形式描述技术，IV，Proc。IFIP TC6/WG6第四届国际会议，悉尼/澳大利亚，1991，297-312（1992）。
MSC公司：60年第68季度 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{S.Pavón}等人，in：形式描述技术，IV.IFIP TC6/WG6.1第四届分布式系统和通信协议形式描述技术国际会议论文集，1991年11月19日至22日，澳大利亚悉尼，91年FORTE。阿姆斯特丹等：Elsevier Science Publishers B.V.（北荷兰）。297--312（1992；Zbl 0769.68096）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件