迪莉娅·凯斯纳;佩罗特,洛伊奇;丹尼尔·文图拉 节点复制:理论与实践。 (英语) Zbl 07814913号 日志。方法计算。科学。 20,第1号,第5号文件,第65页(2024年)。理学硕士:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}等人,《日志》。方法计算。科学。20,第1号,第5号论文,65页(2024;Zbl 07814913) 全文: 内政部 arXiv公司 OA许可证
约瑟夫·保卢斯(Joseph W.N.Paulus)。;丹尼尔·南特斯·索布里尼奥;佩雷斯(Jorge A.Pérez)。 非确定性作为非确定性过程发挥作用。 (英语) Zbl 07753361号 日志。方法计算。科学。 19,第4号,第1号论文,120页(2023年)。理学硕士:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.W.N.Paulus}等人,Log。方法计算。科学。19,第4号,第1号论文,120页(2023;Zbl 07753361) 全文: 内政部 arXiv公司 OA许可证
米歇尔·洛雷蒂;米歇拉·夸迪尼 简单模型的空间逻辑。 (英语) Zbl 07731936号 日志。方法计算。科学。 19,第3号,第8号论文,25页(2023年)。理学硕士:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Loreti}和\textit{M.Quadrini},日志。方法计算。科学。19,第3号,第8号论文,25页(2023;Zbl 07731936) 全文: 内政部 arXiv公司 OA许可证
蒂鲍特·巴拉邦斯基;安托万·兰科;纪尧姆·梅尔金德 强大的按需计算能力。 (英语) Zbl 07731910号 日志。方法计算。科学。 19,第1号,第21号论文,39页(2023年)。理学硕士:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Balabonski}等人,日志。方法计算。科学。19,第1号,第21号论文,39页(2023;Zbl 07731910) 全文: 内政部 arXiv公司 OA许可证
巴托斯·贝德纳西克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 (英语) Zbl 07672671号 ACM事务处理。计算。日志。 24,第2号,第12条,46页(2023年)。理学硕士:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人,《美国医学杂志》。计算。日志。24,第2号,第12条,46页(2023;Zbl 07672671) 全文: 内政部
阿莱西奥·曼苏蒂 树上的辅助逻辑:关于以可达性和子模型推理为特征的逻辑的高耸性。 (英语) Zbl 1506.03077号 Inf.计算。 285,B部分,文章ID 104911,43 p.(2022)。理学硕士:03B70号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti},Inf.计算。285,B部分,文章ID 104911,43 p.(2022;Zbl 1506.03077) 全文: 内政部 OA许可证
斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 无量词分离逻辑的完整公理化。 (英语) Zbl 07407789号 日志。方法计算。科学。 17,第3号,第17号论文,64页(2021年)。理学硕士:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,日志。方法计算。科学。17,第3号,第17号论文,64页(2021;Zbl 07407789) 全文: arXiv公司 链接
丹·弗鲁明;罗伯特·克雷伯斯;Lars Birkedal公司 ReLoC重载:用于细粒度并发和逻辑原子性的机械化关系逻辑。 (英语) Zbl 07407781号 日志。方法计算。科学。 17,第3号,第9号论文,59页(2021年)。理学硕士:03B70号 03B35型 68问题85 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Frumin}等人,日志。方法计算。科学。17,第3号,第9号论文,59页(2021;Zbl 07407781) 全文: arXiv公司 链接
约瑟夫·布杜;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 命题赋值动态逻辑中的资源分离。 (英语) Zbl 1518.68203号 J.日志。阿尔盖布。方法计划。 121,文章ID 100683,17 p.(2021)。理学硕士:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100683,17 p.(2021;Zbl 1518.68203) 全文: 内政部 链接
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯 标称过渡系统的模态逻辑。 (英语) Zbl 1509.68188号 日志。方法计算。科学。 17,第1号,第6号论文,49页(2021年)。理学硕士:68问题85 03B45号 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人,Log。方法计算。科学。17,第1号,第6号论文,49页(2021;Zbl 1509.68188) 全文: arXiv公司 链接
玛丽莎·纳瓦罗;费尔南多·奥雷贾斯;埃尔维拉·皮诺;莱恩·兰伯斯 用于推理图形属性的导航逻辑。 (英语) Zbl 1455.68147号 J.日志。阿尔盖布。方法计划。 118,文章ID 100616,34 p.(2021)。理学硕士:68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Navarro}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100616,34 p.(2021;Zbl 1455.68147) 全文: 内政部 链接
Lu、Xu;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) Zbl 1464.68209号 西奥。计算。科学。 819, 35-49 (2020)。理学硕士:60年第68季度 03B44号 03B70号 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
迪莉娅·凯斯纳;皮埃尔小瓶 自然演绎风格中经典结石的非幂等类型。 (英语) Zbl 1528.03127号 日志。方法计算。科学。 16,第1号,第3号论文,46页(2020年)。理学硕士:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{P.小瓶},原木。方法计算。科学。16,第1号,第3号论文,46页(2020年;Zbl 1528.03127) 全文: arXiv公司
Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 通过分离逻辑验证指针程序的完整性和表达性。 (英语) Zbl 1422.68038号 Inf.计算。 267, 1-27 (2019)。理学硕士:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人,《信息计算》。267,1-27(2019年;Zbl 1422.68038) 全文: 内政部
西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 (英语) 兹比尔1432.03046 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年)。理学硕士:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号论文,51页(2019年;Zbl 1432.03046) 全文: arXiv公司
迪莉娅·凯斯纳;丹尼尔·文图拉 用于集中直觉演算的资源感知语义。 (英语) Zbl 1407.68273号 数学。结构。计算。科学。 29,第1期,93-126(2019)。理学硕士:第68季度55 03B20型 03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{D.Ventura},数学。结构。计算。科学。29,第1号,93-126(2019;Zbl 1407.68273) 全文: 内政部
拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;Lars Birkedal公司;德雷克·德雷尔 从头开始的Iris:高阶并发分离逻辑的模块化基础。 (英语) Zbl 1476.68062号 J.功能。程序。 28,论文编号e20,73 p.(2018)。理学硕士:68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Jung}等人,J.Funct。程序。28,论文编号e20,73 p.(2018;Zbl 1476.68062) 全文: 内政部
内兹,L。;博托鲁西。;西安西亚,V。;M.洛雷蒂。;马森克,M。 利用SSTL对时空特性进行定性和定量监测。 (英语) Zbl 1448.68313号 日志。方法计算。科学。 14,第4号,第2号论文,38页(2018年)。理学硕士:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Nenzi}等人,日志。方法计算。科学。14,第4号,第2号论文,38页(2018;Zbl 1448.68313) 全文: 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑:语义和证明理论。 (英语) Zbl 1454.03030号 日志。方法计算。科学。 14,第4号,第11号论文,36页(2018年)。理学硕士:03B47号 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。14,第4号,第11号论文,36页(2018;Zbl 1454.03030) 全文: 内政部 arXiv公司
安东尼奥·布恰雷利;迪莉娅·凯斯纳;Ronchi Della Rocca,西蒙 非幂等交集类型的驻留。 (英语) Zbl 1448.68208号 日志。方法计算。科学。 14,第3号,第7号论文,28页(2018年)。理学硕士:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}等人,《日志》。方法计算。科学。14,第3号,第7号论文,28页(2018;Zbl 1448.68208) 全文: 内政部 arXiv公司
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1435.68117号 理论计算。系统。 61,第2号,371-461(2017)。理学硕士:65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,理论计算。系统。61,第2号,371--461(2017;Zbl 1435.68117) 全文: 内政部 哈尔
弗雷德里克·达尔奎斯特;大卫·皮姆 分配子结构逻辑的余代数完备性-via-非唯一性。 (英语) Zbl 1453.03020号 J.日志。阿尔盖布。方法计划。 93, 1-22 (2017)。理学硕士:03B47号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}和\textit{D.Pym},J.Log。阿尔盖布。方法计划。93,1-22(2017;Zbl 1453.03020) 全文: 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年)。理学硕士:68问题85 03B70号 2007年6月 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
斯蒂芬·德姆里;Deters,摩根 具有两个变量且没有分离连接的分离逻辑的表示完备性。 (英语) Zbl 1367.03053号 ACM事务处理。计算。日志。 17,第2号,第12条,44页(2016年)。理学硕士:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。17,第2号,第12条,44页(2016;Zbl 1367.03053) 全文: 内政部
杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 Isabelle的Psi-calculi。 (英语) Zbl 1356.68175号 J.汽车。推理 56,第1号,1-47(2016)。理学硕士:第68页第15页 03B35型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bengtson}等人,J.Autom。推理56,No.1,1-47(2016;Zbl 1356.68175) 全文: 内政部
斯特凡·德姆里;Deters,摩根 分离逻辑和方式:一项调查。 (英语) Zbl 1398.03151号 J.应用。非类别。日志。 25,第1号,50-99(2015)。理学硕士:03B70号 03B25号 03B44号 03B45 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},J.Appl。非类别。日志。25,第1号,50--99(2015;Zbl 1398.03151) 全文: 内政部 哈尔
斯特凡·德姆里;Deters,摩根 二元分离逻辑及其内圈。 (英语) Zbl 1354.03036号 ACM事务处理。计算。日志。 16,第2号,第15条,36页(2015年)。理学硕士:03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。16,第2号,第15条,第36页(2015年;Zbl 1354.03036) 全文: 内政部 哈尔
克利夫·琼斯。;伊恩·海耶斯。;罗伯特·J·科尔文。 在并发的正式方法中平衡表达能力。 (英语) Zbl 1343.68171号 正式Asp。计算。 27,第3期,475-497(2015)。理学硕士:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}等人,正式Asp。计算。27,第3号,475--497(2015;Zbl 1343.68171) 全文: 内政部
O'Hearn,Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 并发分离逻辑与并发Kleene代数的关系。 (英语) Zbl 1330.03072号 J.日志。阿尔盖布。方法计划。 84,第3期,285-302(2015)。理学硕士:03B70号 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}等人,J.Log。阿尔盖布。方法计划。84,第3号,285--302(2015;Zbl 1330.03072) 全文: 内政部
詹姆斯·布罗瑟斯顿;马克斯·卡诺维奇 命题分离逻辑及其邻域的不确定性。 (英语) Zbl 1295.68166号 美国临床医学杂志 第61号第2条第14条第43页(2014年)。理学硕士:68问题85 03天35分 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston}和\textit{M.Kanovich},J.ACM 61,第2号,第14条,43页(2014;Zbl 1295.68166) 全文: 内政部
詹姆斯·布罗瑟斯顿 显示成串的逻辑。 (英语) Zbl 1282.03011号 螺柱日志。 100,第6期,1223-1254(2012)。 审核人:杰玛·罗伯斯(莱昂) 理学硕士:03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston},Stud.Log。100,第6号,1223--1254(2012;Zbl 1282.03011) 全文: 内政部
露西娅·阿西艾;米歇尔·博雷尔 通过行为类型确定无限状态pi演算中的安全属性。 (英语) Zbl 1279.68192号 Inf.计算。 212, 92-117 (2012)。理学硕士:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Acciai}和\textit{M.Boreale},Inf.计算。212、92-117(2012年;Zbl 1279.68192) 全文: 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 (英语) Zbl 1262.03051号 Inf.计算。 211, 106-137 (2012)。 审核人:罗杰·维尔梅尔(蒙特勒) 理学硕士:03B70号 03B25号 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,信息计算。211106-137(2012年;兹bl 1262.03051) 全文: 内政部
汉斯·范·迪特马什;罗希特·帕里克;拉马努贾姆,R。 印度逻辑——编辑导言。 (英语) Zbl 1235.01002号 J.菲洛斯。日志。 40,第5期,557-561(2011)。理学硕士:01A32号机组 01A60型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,J.Philos。日志。40,第5号,557--561(2011;Zbl 1235.01002) 全文: 内政部
爱蒂安·洛兹;朱尔斯·维拉德 应用(pi)演算的空间方程逻辑。 (英语) Zbl 1231.68171号 分布计算。 23,第1期,61-83(2010)。理学硕士:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{埃里·洛兹}和\textit{J.维拉德},分布计算。23,编号1,61--83(2010;Zbl 1231.68171) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 (英语) Zbl 1200.68224号 Inf.计算。 208,第5期,474-499(2010)。理学硕士:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人,《信息计算》。208,第5号,474--499(2010;Zbl 1200.68224) 全文: 内政部 链接
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1225.68068号 Ann.纯粹应用。逻辑 161,第3号,305-323(2009)。理学硕士:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Ann.Pure Appl。逻辑161,No.3,305--323(2009;Zbl 1225.68068) 全文: 内政部
科科特,J.R.B。;克雷格·帕斯特罗 消息传递的逻辑。 (英语) Zbl 1175.68105号 科学。计算。程序。 74,第8期,498-533(2009)。理学硕士:68甲19 03楼52 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{C.Pastro},科学。计算。程序。74,第8号,498--533(2009;Zbl 1175.68105) 全文: 内政部 arXiv公司
多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系:意外的嵌入。 (英语) Zbl 1169.03024号 数学。结构。计算。科学。 第3期,第19期,第435-500页(2009年)。理学硕士:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche},数学。结构。计算。科学。19,编号3,435-500(2009年;兹bl 1169.03024) 全文: 内政部
路易斯·凯雷斯 分布式系统中并发和资源控制的空间行为类型。 (英语) Zbl 1146.68018号 西奥。计算。科学。 402,编号2-3,120-141(2008)。理学硕士:64岁以下 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Caires},Theor。计算。科学。402,编号2--3,120-141(2008;Zbl 1146.68018) 全文: 内政部
格雷塔·约什;亚历山大·拉比诺维奇;穆利萨吉夫;安托万·迈耶;艾哈迈德·博阿贾尼 链接数据结构中可访问模式的逻辑。 (英语) Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73,编号1-2,111-142(2007)。 审核人:亚历克斯·纳贝宾(莫斯科) 理学硕士:03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人,J.Log。阿尔盖布。程序。73,编号1--2,111-142(2007;Zbl 1121.03040) 全文: 内政部 arXiv公司
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利 图形逻辑的表达性和复杂性。 (英语) Zbl 1114.03028号 Inf.计算。 205,第3期,263-310(2007)。理学硕士:03B70号 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人,《信息计算》。205,第3号,263--310(2007;Zbl 1114.03028) 全文: 内政部 链接
路易斯·凯雷斯;艾蒂安·洛兹 消除空间逻辑中的量词和不确定性以实现并发。 (英语) Zbl 1097.68085号 西奥。计算。科学。 358,编号2-3,293-314(2006)。理学硕士:68问题85 60年第68季度 03B70号 03B25号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{E.Lozes},Theor。计算。科学。358,编号2--3,293--314(2006;Zbl 1097.68085) 全文: 内政部
陈、陶璐;韩婷婷;陆健 半结构化数据的规范和验证。 (英语) Zbl 1097.68072号 武汉大学自然科学学院。 11,第1期,107-112(2006)。理学硕士:60年第68季度 68第05页 03B45 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等,武汉理工大学。11,第1号,第107-112页(2006年;Zbl 1097.68072) 全文: 内政部
爱蒂安·洛兹 静态空间逻辑中空间连接词的消除。 (英语) Zbl 1078.68098号 西奥。计算。科学。 330,第3号,475-499(2005)。理学硕士:60年第68季度 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \提奥,textit{埃里·洛兹}。计算。科学。330,第3号,475--499(2005;Zbl 1078.68098) 全文: 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。二、。 (英语) Zbl 1050.68104号 西奥。计算。科学。 322,第3期,517-565(2004)。理学硕士:68问题85 03B70号 03B45号 05年3月 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},Theor。计算。科学。322,第3号,517--565(2004;Zbl 1050.68104) 全文: 内政部
城市,基督教;安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 名义统一。 (英语) Zbl 1078.68140号 西奥。计算。科学。 323,编号1-3,473-497(2004)。理学硕士:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban}等人,Theor。计算。科学。323,编号1--3,473--497(2004;Zbl 1078.68140) 全文: 内政部
大卫·J·派姆。;O'Hearn,Peter W。;杨红seok 可能的世界和资源:\(\mathbf{BI}\)的语义。 (英语) Zbl 1055.03021号 西奥。计算。科学。 315,第1期,257-305(2004)。理学硕士:03B70号 第03页 03G30型 03B47号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pym}等人,Theor。计算。科学。315,第1号,257--305(2004;Zbl 1055.03021) 全文: 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。一、。 (英语) Zbl 1068.03022号 Inf.计算。 186,第2期,194-235(2003)。 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) 理学硕士:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},信息计算。186,第2号,194--235(2003;Zbl 1068.03022) 全文: 内政部