博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德 带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 (英语) Zbl 1442.68222号 J.日志。计算。 29,第5期,803-830(2019).MSC公司:68T27型 03B42号 03B44号 68T42型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Log。计算。29,第5号,803--830(2019;Zbl 1442.68222) 全文: 内政部 链接
海宁·巴索尔德;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) 全文: 内政部
Furio Honsell;玛丽娜·莱妮莎;伊万·斯卡格内托;路易吉·利科里;佩塔·马克西莫维奇 开放的逻辑框架。 (英语) Zbl 1352.68061号 J.日志。计算。 26,第1期,293-335(2016).MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}等人,J.Log。计算。26,第1号,293--335(2016;Zbl 1352.68061) 全文: 内政部 链接
卢卡·博托卢西;阿尔贝托,Policriti (混合)自动机和(随机)程序。随机程序的混合自动机格。 (英语) Zbl 1272.68289号 J.日志。计算。 23,第4期,761-798(2013).MSC公司:68问题85 68甲19 68号30 65年第68季度 87年第68季度 第92页第42页 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti},J.Log。计算。23,编号4761-798(2013年;兹bl 1272.68289) 全文: 内政部 链接
肯·马诺;川崎,吉野;樱田秀树;Tsukada、Yasuyuki 匿名和投票隐私的角色交换。 (英语) Zbl 1213.68639号 J.日志。计算。 20,第6期,1251-1288(2010).MSC公司:68T42型 03B42号 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Mano}等人,J.Log。计算。20,第6号,1251--1288(2010;Zbl 1213.68639) 全文: 内政部
斯特凡·德姆里;雷吉斯·加斯科 限定句法资源对Presburger LTL的影响。 (英语) Zbl 1193.03033号 J.日志。计算。 19,第6期,1541-1575(2009).MSC公司:03B44号 03B25号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},J.Log。计算。19,第6号,1541--1575(2009;Zbl 1193.03033) 全文: 内政部 哈尔
卡洛·库比;马西莫·弗朗西切特;阿德里亚诺·佩隆 表示和推理时间粒度。 (英语) Zbl 1085.68087号 J.日志。计算。 14,第1期,第51-77页(2004年).MSC公司:60年第68季度 03B70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}等人,J.Log。计算。14,No.1,51--77(2004;Zbl 1085.68087) 全文: 内政部
初级、索兰奇优惠券;凯瑟琳·努维特 增量垃圾收集器的正式验证。 (英语) Zbl 1074.68548号 J.日志。计算。 13,第6期,815-833(2003).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Coupet-Grimal}和\textit{C.Nouvet},J.Log。计算。13,第6号,815--833(2003;Zbl 1074.68548) 全文: 内政部
初级、索兰奇优惠券 归纳结构演算中线性时间逻辑的公理化。 (英语) 兹比尔1093.68024 J.日志。计算。 13,第6期,第801-813页(2003年).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Coupet-Grimal},J.Log。计算。13,第6号,801--813(2003;Zbl 1093.68024) 全文: 内政部
罗朝晖 强制子类型。 (英语) Zbl 0920.03062号 J.日志。计算。 9,第1期,105-130(1999).MSC公司:35楼03号 03B15号机组 03B35型 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Luo},J.Log。计算。9,编号1,105--130(1999;Zbl 0920.03062) 全文: 内政部 链接
凯文·拉诺 反应式和实时系统的逻辑规范。 (英语) Zbl 0913.03028号 J.日志。计算。 8,第5号,679-711(1998).MSC公司:03B45号 2005年第68季度 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lano},J.Log。计算。8,第5号,679--711(1998;Zbl 0913.03028) 全文: 内政部
雷切尔·卡德尔·奥利弗 实时并发程序的操作语义和时间语义的等价定理。 (英语) Zbl 0904.68131号 J.日志。计算。 8,第4期,545-567(1998).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cardell-Oliver},J.Log(罗杰·洛格)。计算。8,第4号,545--567(1998;Zbl 0904.68131) 全文: 内政部
法比奥·马萨奇 多智能体分布式系统形式化验证的Tableau方法。 (英语) Zbl 0904.68133号 J.日志。计算。 8,第3期,373-400(1998年).MSC公司:60年第68季度 68米10 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Massacci},J.Log。计算。8,第3号,373--400(1998;Zbl 0904.68133) 全文: 内政部
马克·D’Inverno;幸运,迈克尔 Engineering AgentSpeak(L):一个正式的计算模型。 (英语) Zbl 0904.68060号 J.日志。计算。 8,第3期,233-260(1998年).MSC公司:68N99型 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Inverno}和\textit{M.Luck},J.Log。计算。8,第3号,233--260(1998;Zbl 0904.68060) 全文: 内政部 链接