托马斯·埃尔哈德 概率相干空间中的微分和距离。 (英语) Zbl 1528.68064号 日志。方法计算。科学。 18,第3号,第2号论文,33页(2022年).MSC公司:68甲18 03楼52 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard},日志。方法计算。科学。18,第3号,第2号论文,33页(2022年;Zbl 1528.68064) 全文: arXiv公司 链接
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) 全文: 内政部
海宁·巴索尔德;Helle Hvid Hansen先生 诱导-归纳程序的良好定义和观测等价性。 (英语) Zbl 1452.68044号 J.日志。计算。 29,第4期,419-468(2019).MSC公司:68号30 03B70号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{H.Basold}和\textit{H.Hansen},J.Log。计算。29,第4号,419--468(2019;Zbl 1452.68044) 全文: 内政部
埃里希·格拉德尔;马蒂亚斯·霍尔泽尔 依赖性概念直至等效。 (英语) Zbl 1528.03145号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第25条,第21页(2018年)。MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}和\textit{M.Hoelzel},LIPIcs——莱布尼茨国际程序。通知。119,第25条,第21页(2018;Zbl 1528.03145) 全文: 内政部
托马斯·利文提斯 概率Böhm树和概率分离。 (英语) Zbl 1453.03009号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。649-658 (2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Leventis},in:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年LICS,英国牛津,2018年7月9日至12日。纽约州纽约市:计算机协会(ACM)。649--658(2018;Zbl 1453.03009) 全文: 内政部
Benedetto Intrigila公司;朱利奥·曼佐内托;安德鲁·波伦斯基 反驳Sallé的长期猜测。 (英语) Zbl 1434.03052号 Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第20条,第18页(2017年)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Intrigila}等人,LIPIcs——莱布尼茨国际期刊。通知。84,第20条,第18页(2017;Zbl 1434.03052) 全文: 内政部
朱利奥·格雷里;卢卡·保里尼;Ronchi Della Rocca,西蒙 改进的call-by-value lambda-calculus的标准化和保守性。 (英语) Zbl 1434.68086号 日志。方法计算。科学。 13,第4号,第29号论文,27页(2017年).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Guerreri}等人,《日志》。方法计算。科学。13,第4号,第29号论文,27页(2017;Zbl 1434.68086) 全文: 内政部 arXiv公司
弗拉维恩·布鲁瓦特 关于(mathcal H^\ast)模型的表征:语义方面。 (英语) Zbl 1338.03013号 日志。方法计算。科学。 12,第2号,第4号论文,34页(2016年).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart},日志。方法计算。科学。12,第2号,第4号论文,34页(2016;Zbl 1338.03013) 全文: 内政部 arXiv公司
朱利奥·格雷里;卢卡·保里尼;Ronchi Della Rocca,西蒙 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.Guerreri}等人,LIPIcs——莱布尼茨国际程序。通知。38、211-225(2015;Zbl 1367.68052) 全文: 内政部
本田、高黑;吉田、Nobuko;马丁·伯杰 命令式高阶函数的观测完整程序逻辑。 (英语) Zbl 1358.68071号 西奥。计算。科学。 517,75-101(2014).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Honda}等人,Theor。计算。科学。517,75-101(2014;Zbl 1358.68071) 全文: 内政部
夏洛特沃恩德 在确定性和非确定性模型之间进行选择:不确定性和间接证据。 (英语) Zbl 1284.03133号 合成 190,第12号,2243-2265(2013).MSC公司:03A10号 00A71号 00A79号 PDF格式BibTeX公司 XML格式引用 \textit{C.Werndl},Synthese 190,No.12,2243--2265(2013;Zbl 1284.03133) 全文: 内政部 链接
达米亚诺·马扎;尼尔·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) 全文: 内政部
夏洛特沃恩德 连续时间确定性和非确定性描述的观测等价性。 (英语) Zbl 1262.03021号 欧洲药典(Eur.J.Philos)。科学。 第1期,第2期,193-225(2011).MSC公司:03A10号 00A71号 00A79号 PDF格式BibTeX公司 XML格式引用 \textit{C.Werndl},欧洲药典Philos。科学。1,第2号,193--225(2011;Zbl 1262.03021) 全文: 内政部 arXiv公司 链接
吉尔·巴特;本杰明·格雷戈里;圣地亚哥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 1187.68219号 日志。方法计算。科学。 5,第4号,第6号论文,61页(2009年).MSC公司:2005年第68季度 03B40型 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Mazza},日志。方法计算。科学。5,第4号,第6号论文,61页(2009年;Zbl 1187.68219) 全文: 内政部
H.Peter Gumm 泛余代数及其逻辑。 (英语) Zbl 1187.18001号 阿拉伯的。科学杂志。工程(AJSE)、数学。 第1期,第105-130页(2009年). 审核人:瓦克拉夫·库贝克(普拉哈) MSC公司:18B20型 68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Gumm},阿拉伯。科学杂志。工程(AJSE)、数学。34,编号1D,105--130(2009;Zbl 1187.18001)
达米亚诺·马扎 相互作用组合子和内部分离的观测等价性。 (英语) 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},电子。理论注释。计算。科学。176,第1号,113--137(2007;Zbl 1278.68219) 全文: 内政部
达米亚诺·马扎;米歇尔·帕加尼 微分相互作用网的分离定理。 (英语) Zbl 1137.03325号 Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,393-407(2007)。MSC公司:03楼52 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Mazza}和\textit{M.Pagani},莱克特。注释计算。科学。4790、393--407(2007年;Zbl 1137.03325) 全文: 内政部
米歇尔·帕加尼 乘法线性逻辑中的证明、指称语义和观察等价。 (英语) Zbl 1124.03035号 数学。结构。计算。科学。 17,第2期,341-359(2007). 审核人:弗拉基米尔·科门丹斯基(索菲亚·安蒂波利斯) MSC公司:03楼52 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Pagani},数学。结构。计算。科学。17,第2号,341--359(2007;Zbl 1124.03035) 全文: 内政部
亚历山大·巴尔塔格 STS:集合的结构理论。 (英语) Zbl 0993.03065号 Zakharyaschev,Michael(编辑)等人,《模态逻辑的进展》。第2卷。1998年10月16日至18日,瑞典乌普萨拉,第二届国际研讨会(AiML'98)的论文选集。加利福尼亚州斯坦福:CSLI出版物。CSLI法律。笔记。119, 1-34 (2001).MSC公司:03E70型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag},in:模态逻辑的进展。第2卷。1998年10月16日至18日,瑞典乌普萨拉,第二届国际研讨会(AiML'98)论文选集。加利福尼亚州斯坦福:CSLI出版物。1-34(2001;Zbl 0993.03065)
林肯,P。;Mitchell,J。;米切尔,M。;A.斯克洛夫。 概率多项式时间等价与安全性分析。 (英语) Zbl 0976.94029号 Wing,Jeannette M.(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。柏林:施普林格出版社(ISBN 3-540-66587-0/第1卷;3-540-66588-9/第2卷)。莱克特。注释计算。科学。1708; 1709, 776-793 (1999).MSC公司:94A62型 03B70号 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lincoln}等人,Lect。注释计算。科学。1708776--793(1999年;Zbl 0976.94029)
Furio Honsell;唐纳德·桑内拉 逻辑前关系。 (英语) Zbl 0942.03018号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 546-561 (1999).MSC公司:03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}和\textit{D.Sannella},莱克特。注释计算。科学。1683546-561(1999;Zbl 0942.03018)
特奥多尔·科纳皮克;埃蒂安·佩耶特 线性有界机器的同步乘积。 (英语) Zbl 0947.03057号 乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1684362-373页(1999年)。 审核人:安纳托利·阿尼西莫夫(基辅) MSC公司:03日第10天 68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Knapik}和\textit{É.Payet},Lect。注释计算。科学。1684、362--373(1999;Zbl 0947.03057)
亚历山大·巴尔塔格 STS:集合的结构理论。 (英语) Zbl 0933.03070号 日志。J.IGPL公司 7,第4期,481-515(1999).MSC公司:03E70型 03B45号 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag},日志。J.IGPL 7,第4期,481--515(1999;Zbl 0933.03070) 全文: 内政部 链接
约翰·马拉伊斯;马丁·奥德斯基;菲利普·沃德勒 调用需要lambda演算。 (英语) Zbl 0918.03019号 J.功能。程序。 8,第3号,275-317(1998).MSC公司:03B70号 68号01 68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Maraist}等人,J.Funct。程序。8,第3号,275--317(1998;Zbl 0918.03019) 全文: 内政部
斯特凡诺·贝拉尔迪 删除简单键入的\(\lambda\)-terms。 (英语) Zbl 0863.03007号 J.日志。计算。 6,第5期,663-681(1996). 审核人:N.Bernard(Le Bourget du Lac) MSC公司:03B40型 68号01 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi},J.Log。计算。6,第5号,663--681(1996;Zbl 0863.03007) 全文: 内政部
洛科·德尼古拉;吉安·路易吉,法拉利 观察逻辑和并发模型。 (英语) 兹比尔0732.03024 软件技术和理论计算机科学基础。第十届会议,班加罗尔/印度,1990年,法律。注释计算。科学。472, 301-315 (1990).MSC公司:03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式
Kanellakis,巴黎C。;斯科特·斯莫尔卡。 CCS表达式、有限状态过程和三个等价问题。 (英语) Zbl 0705.68063号 Inf.计算。 86,No.1,43-68(1990).MSC公司:65年第68季度 2005年第68季度 2010年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Kanellakis}和\textit{S.A.Smolka},Inf.Compute。86,编号1,43--68(1990;Zbl 0705.68063) 全文: 内政部
汉斯·休特尔;拉森,金·G。 在模式流程逻辑中使用静态结构。 (英语) Zbl 0683.03014号 Botik的逻辑,Proc。计算机科学逻辑基础研讨会,佩雷斯拉夫·泽莱斯基/苏联1989年,Lect。注释计算。科学。363, 163-180 (1989). 审核人:H.Hüttel公司 MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式
伯恩哈德·斯特芬 通过观测等效进行最佳数据流分析。 (英语) Zbl 0755.68036号 计算机科学数学基础。第十四交响曲。,89年MFCS,Porąbka-Kozubnik/Pol。1989年,Lect。注释计算。科学。379, 492-502 (1989).MSC公司:68N20型 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen},莱克特。注释计算。科学。无,492--502(1989;Zbl 0755.68036)
鲍里斯·特拉赫滕布罗特(Boris A.Trakhtenbrot)。 关于程序语义中的“逻辑关系”。 (英语) Zbl 0699.03014号 数理逻辑及其应用,Proc。高级国际夏季课程。Conf.,Druzhba/Bulg.公司。1986, 213-229 (1987).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式
威廉·高尔森(William G.Golson)。;威廉·罗恩斯(William C.Rounds)。 两种并发理论之间的联系:度量空间和同步树。 (英语) 兹伯利0551.68035 Inf.控制 57, 102-124 (1983).MSC公司:第68季度第65季度 03B45号 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{W.G.Golson}和\textit{W.C.Rounds},Inf.Control 57,102-124(1983;Zbl 0551.68035) 全文: 内政部
科林·斯特林 观测等价性的证明理论表征。 (英语) Zbl 0539.68011号 《软件技术和理论计算机科学基础》,第三届Conf.,印度班加罗尔,1983年,274-289(1983)。MSC公司:60年第68季度 第68季度第65季度 03B45号 PDF格式BibTeX公司 XML格式