斯迪安·利贝奇 反射式高阶微积分:可编码性、典型性和分离性。 (英语) Zbl 07825550号 Inf.计算。 297,文章ID 105138,33 p.(2024).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lybech},Inf.计算。297,文章ID 105138,33 p.(2024;Zbl 07825550) 全文: 内政部
冯、袁;李三江 量子程序的抽象解释、霍尔逻辑和不正确逻辑。 (英语) Zbl 07742408号 Inf.计算。 294,文章ID 105077,22 p.(2023).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{S.Li},Inf.Comput。294,文章ID 105077,22 p.(2023;Zbl 07742408) 全文: 内政部 arXiv公司
马西耶·加兹达;Robert M.Hierons。 删除冗余拒绝:故障跟踪语义的最小完整测试套件。 (英语) Zbl 1506.68059号 Inf.计算。 291,文章ID 105009,26 p.(2023).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gazda}和\textit{R.M.Hierons},Inf.Compute。291,文章ID 105009,26 p.(2023;Zbl 1506.68059) 全文: 内政部
山姆·桑德斯 将证明从可数数学提升到不可数数学。 (英语) Zbl 1518.03014号 Inf.计算。 287,文章ID 104762,20 p.(2022). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:35楼03号 03立方厘米30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sanders},Inf.计算。287,文章ID 104762,20 p.(2022;Zbl 1518.03014) 全文: 内政部
马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯切德罗夫 Lambek演算的一些扩展的语言模型。 (英语) Zbl 07540282号 Inf.计算。 287,文章ID 104760,16 p.(2022).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《信息计算》。287,文章ID 104760,16 p.(2022;Zbl 07540282) 全文: 内政部 arXiv公司
Miika Hannula公司;你好,劳里 包含逻辑中的复杂性阈值。 (英语) Zbl 1496.03132号 Inf.计算。 287,文章ID 104759,19 p.(2022).MSC公司:03B70号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}和\textit{L.Hella},Inf.Compute。287,文章ID 104759,19 p.(2022;Zbl 1496.03132) 全文: 内政部
吉姆·德·格罗特;德克·帕丁森 Hennessy-Milner性质的拓扑紧性。 (英语) Zbl 1525.03050号 Inf.计算。 287,文章ID 104757,20 p.(2022). 审核人:井上高雄(东京) MSC公司:03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.de Groot}和\textit{D.Pattinson},Inf.Compute。287,文章ID 104757,第20页(2022;Zbl 1525.03050) 全文: 内政部 arXiv公司
陈金生;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 非正规模态逻辑和条件逻辑:语义分析和证明理论。 (英语) Zbl 07540278号 Inf.计算。 287,文章ID 104756,第27页(2022).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人,《信息计算》。287,文章ID 104756,第27页(2022;Zbl 07540278) 全文: 内政部 链接
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 线性框架上中间逻辑的单变量片段。 (英语) Zbl 07540277号 Inf.计算。 287,文章ID 104755,20 p.(2022).MSC公司:03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人,《信息计算》。287,文章ID 104755,20 p.(2022;Zbl 07540277) 全文: 内政部
帕特里克·布莱克本;曼纽尔·马丁斯;玛丽亚·曼扎诺;安东尼娅·韦尔塔斯 驱散幻影区。 (英语) Zbl 07540276号 Inf.计算。 287,文章ID 104754,21 p.(2022).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人,《信息计算》。287,文章ID 104754,21 p.(2022;Zbl 07540276) 全文: 内政部
de Queiroz,Ruy J.G.B。(编辑) 前言。第26届逻辑、语言、信息和计算研讨会(WoLLIC 2019)。 (英语) Zbl 1487.03008号 Inf.计算。 287,文章ID 104752,第2页(2022).MSC公司:03-06 68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.J.G.B.de Queiroz}(编辑),《信息计算》。287,文章ID 104752,第2页(2022;Zbl 1487.03008) 全文: 内政部
帕里斯(Pawe Parys) Caucal层次结构:(W)MSO+逻辑中的解释。 (英语) 兹比尔1523.03016 Inf.计算。 286,文章ID 104782,23 p.(2022). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys},Inf.计算。286,文章ID 104782,23 p.(2022;Zbl 1523.03016) 全文: 内政部
阿莱西奥·曼苏蒂 树上的辅助逻辑:关于以可达性和子模型推理为特征的逻辑的高耸性。 (英语) Zbl 1506.03077号 Inf.计算。 285,B部分,文章ID 104911,43 p.(2022).MSC公司:03B70号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti},Inf.计算。285,B部分,文章ID 104911,43 p.(2022;Zbl 1506.03077) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 (英语) Zbl 1504.68138号 Inf.计算。 285,B部分,文章ID 104887,25 p.(2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。285,B部分,文章ID 104887,25 p.(2022;Zbl 1504.68138) 全文: 内政部
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑:免费选择任意两种。 (英语) Zbl 07538307号 Inf.计算。 285,B部分,文章ID 104810,23 p.(2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息计算》。285,B部分,文章ID 104810,23 p.(2022;Zbl 07538307) 全文: 内政部 链接
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,30 p.(2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: 内政部 链接
曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 \(\omega\)-下推自动机的逻辑。 (英语) Zbl 1491.68097号 Inf.计算。 282,文章ID 104659,11 p.(2022). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 03B16号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。282,文章ID 104659,11 p.(2022;Zbl 1491.68097) 全文: 内政部
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机中的成本和回报。 (英语) 兹比尔1483.68168 Inf.计算。 282,文章ID 104656,17 p.(2022).MSC公司:65年第68季度 03B25号 11日72 05年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,信息计算。282,文章ID 104656,17 p.(2022;Zbl 1483.68168) 全文: 内政部 arXiv公司 链接
波琳娜·帕拉波尼亚里;乔治·拉霍尼斯 加权命题配置逻辑:具有定量特征的体系结构的规范语言。 (英语) Zbl 1483.68088号 Inf.计算。 282,文章ID 104647,18 p.(2022).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Paraponiari}和\textit{G.Rahonis},Inf.计算。282,文章ID 104647,18 p.(2022;Zbl 1483.68088) 全文: 内政部 arXiv公司
弗洛里安·布鲁斯;马丁·兰格 带有递归的时态逻辑。 (英语) Zbl 1522.03045号 Inf.计算。 281,文章ID 104804,18 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格},Inf.计算。281,文章ID 104804,18 p.(2021;Zbl 1522.03045) 全文: 内政部
保罗·C·贝尔。;伊戈尔·波塔波夫;帕维尔·塞穆金 关于死亡率问题:从乘法矩阵方程到线性递归序列及其他。 (英语) Zbl 1521.11084号 Inf.计算。 281,文章ID 104736,14 p.(2021).MSC公司:05年11月 03B25号 11J81型 15A30型 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Bell}等人,《信息计算》。281,文章ID 104736,第14页(2021;Zbl 1521.11084) 全文: 内政部 arXiv公司 链接
Wałga,Przemys aw Andrzej;Micha Zawidzki 以主观为导向的空间逻辑。 (英语) Zbl 1518.68368号 Inf.计算。 280,文章ID 104643,第15页(2021).MSC公司:68T27型 03B45号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga}和textit{M.Zawidzki},Inf.Compute。280,文章ID 104643,第15页(2021;Zbl 1518.68368) 全文: 内政部 链接
阿卡什侯赛因;弗朗索瓦·拉鲁西尼 \(mathsf{QCTL}\)使用\(mathsf{QBF}\)解算器进行模型检查。 (英语) Zbl 1518.68208号 Inf.计算。 280,文章ID 104642,19 p.(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.侯赛因}和\textit{F.Laroussinie},Inf.Compute。280,文章ID 104642,19 p.(2021;Zbl 1518.68208) 全文: 内政部 arXiv公司
佩拉斯、昆廷;朱利安·布鲁内尔;戴维·谢穆伊尔 许多一阶线性时序逻辑的一个可判定且可表达的片段。 (英语) Zbl 1518.68214号 Inf.计算。 280,文章ID 104641,20 p.(2021).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Peyras}等人,《信息计算》。280,文章ID 104641,20 p.(2021;Zbl 1518.68214) 全文: 内政部 哈尔
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 (英语) Zbl 1518.68204号 Inf.计算。 280,文章ID 104640,22 p.(2021).MSC公司:60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。280,文章ID 104640,22 p.(2021;Zbl 1518.68204) 全文: 内政部 链接
何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
阿纳州阿尔梅达博尔赫斯;科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José);大卫·费尔南德斯·杜克;米雷亚González Bedmar;Joost J.乔斯特恩。 驾驶或不驾驶:对欧洲运输法规的逻辑和计算分析。 (英语) Zbl 1522.03100号 Inf.计算。 280,文章ID 104636,15 p.(2021).MSC公司:03B80号 03B44号 03B70号 2017年第68季度 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{A.de Almeida Borges}等人,《信息计算》。280,文章ID 104636,15 p.(2021;Zbl 1522.03100) 全文: 内政部
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹 用于TPTL和\(\mathrm{TPTL_b+Past}\)的单程和树形表格系统。 (英语) Zbl 07354965号 Inf.计算。 278,文章ID 104599,25 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《信息计算》。278,文章ID 104599,25 p.(2021;Zbl 07354965) 全文: 内政部
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 一个用于研究分布式任务可计算性的动态认识逻辑的单纯复杂模型。 (英语) Zbl 1497.03032号 Inf.计算。 278,文章ID 104597,22 p.(2021). 审核人:菲利普·高彻(巴黎) MSC公司:03B42号 55单位35 18号40 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,《信息计算》。278,文章ID 104597,22 p.(2021;Zbl 1497.03032) 全文: 内政部 arXiv公司 链接
彼得罗·加利亚尼 团队语义中的安全依赖原子和可能性操作符。 (英语) Zbl 1524.03024号 Inf.计算。 278,文章ID 104593,18 p.(2021).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},Inf.计算。278,文章ID 104593,18 p.(2021;Zbl 1524.03024) 全文: 内政部 arXiv公司
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部 哈尔
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 (英语) Zbl 1497.68305号 Inf.计算。 276,文章ID 104555,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。276,文章ID 104555,17 p.(2021;Zbl 1497.68305) 全文: 内政部 arXiv公司
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 模型检查应用程序的\(\mathrm{ATL}^+\)的博弈论语义。 (英语) 兹比尔1497.68303 Inf.计算。 276,文章ID 104554,24 p.(2021).MSC公司:60年第68季度 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,《信息计算》。276,文章ID 104554,24 p.(2021;Zbl 1497.68303) 全文: 内政部 arXiv公司 链接
弗朗西斯科·贝拉迪内利;罗地卡康杜拉切;柯特林·迪马;沃伊切赫,詹罗加;米查尔·科纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,25 p.(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 箭头更新合成。 (英语) Zbl 1496.68326号 Inf.计算。 275,文章ID 104544,29 p.(2020).MSC公司:68T27型 03B42号 03B45号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,《信息计算》。275,文章ID 104544,29 p.(2020;Zbl 1496.68326) 全文: 内政部 arXiv公司 哈尔
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) Zbl 1443.68101号 Inf.计算。 272,文章ID 104504,26 p.(2020).MSC公司:60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。272,文章ID 104504,26 p.(2020;Zbl 1443.68101) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 (英语) Zbl 1443.68104号 Inf.计算。 272,文章ID 104502,17 p.(2020).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。272,文章ID 104502,17 p.(2020;Zbl 1443.68104) 全文: 内政部
曼弗雷德·德罗斯特;特默尔库西亚;乔治·拉霍尼斯;沃尔夫冈·施莱纳 McCarthy-Kleene模糊自动机和MSO逻辑。 (英语) Zbl 1443.68087号 Inf.计算。 272,文章ID 104499,第22页(2020).MSC公司:65年第68季度 03B52号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。272,文章ID 104499,第22页(2020;Zbl 1443.68087) 全文: 内政部 arXiv公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 使用正则表达式对区间时序逻辑进行模型检查。 (英语) Zbl 1443.68102号 Inf.计算。 272,文章ID 104498,33 p.(2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。272,文章ID 104498,33 p.(2020;Zbl 1443.68102) 全文: 内政部
尼古拉·贝内什;乌里·法伦贝格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 (英语) Zbl 1435.68189号 Inf.计算。 271,文章ID 104487,24 p.(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。271,文章ID 104487,24 p.(2020;Zbl 1435.68189) 全文: 内政部 哈尔
Wan Fokkink公司;罗布·范格拉贝克;巴斯·卢提克 分而治之。三: 从模态公式的分解到稳定性和发散性的保持。 (英语) Zbl 1430.68162号 Inf.计算。 268,文章ID 104435,31 p.(2019).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《信息计算》。268,文章ID 104435,31 p.(2019;Zbl 1430.68162) 全文: 内政部 arXiv公司 链接
瓦伦蒂娜·卡斯蒂格利奥尼;西蒙·蒂尼 非确定概率转移系统分支度量的逻辑特征。 (英语) Zbl 1430.68161号 Inf.计算。 268,文章ID 104432,40 p.(2019).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}和\textit{S.Tini},Inf.Compute。268,文章ID 104432,40 p.(2019;Zbl 1430.68161) 全文: 内政部
佛罗伦萨克莱尔克;纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 概率模态逻辑的表达:渐进方法。 (英语) Zbl 1422.68167号 Inf.计算。 267, 145-163 (2019).MSC公司:68问题85 03B45号 03B48号 2015年3月 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Clerc}等人,《信息计算》。267145-163(2019年;Zbl 1422.68167) 全文: 内政部
Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 通过分离逻辑验证指针程序的完整性和表达性。 (英语) Zbl 1422.68038号 Inf.计算。 267, 1-27 (2019).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人,《信息计算》。267,1-27(2019年;Zbl 1422.68038) 全文: 内政部
John McCabe-Dansted先生;克莱尔·狄克逊;法语,蒂姆;马克·雷诺兹 鲁棒性分支时间逻辑的子逻辑。 (英语) Zbl 1436.03125号 Inf.计算。 266, 126-160 (2019).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}等人,《信息计算》。266126-160(2019年;Zbl 1436.03125) 全文: 内政部
D.布雷索林。;黛拉·莫妮卡,D。;A.蒙塔纳里。;Sala,P。;Sciavicco,G。 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 (英语) Zbl 1436.03120号 Inf.计算。 266, 97-125 (2019).MSC公司:03B44号 03B25号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《信息计算》。266、97-125(2019年;Zbl 1436.03120) 全文: 内政部 链接
藤田,健毅 Church-Roser定理和证人的定量分析。 (英语) Zbl 1436.03104号 Inf.计算。 263, 52-56 (2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.-e.Fujita},信息计算。263、52-56(2018年;Zbl 1436.03104) 全文: 内政部
瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 参数化时序逻辑的分布式综合。 (英语) Zbl 1400.68124号 Inf.计算。 262,第2部分,311-328(2018).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}等人,《信息计算》。262,第2部分,311--328(2018;Zbl 1400.68124) 全文: 内政部 arXiv公司
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 (英语) Zbl 1400.68123号 Inf.计算。 262,第2部分,265-279(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人,《信息计算》。262,第2部分,265--279(2018;Zbl 1400.68123) 全文: 内政部 arXiv公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 (英语) Zbl 1400.68121号 Inf.计算。 262,第2部分,241-264(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。262,第2部分,241--264(2018;Zbl 1400.68121) 全文: 内政部 链接
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03B25号 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: 内政部 链接
约翰·范·本特姆 计算作为社会中介:什么、如何和谁。 (英语) Zbl 1395.68119号 Inf.计算。 261,第3部分,519-535(2018).MSC公司:第68季度01 03B42号 68T27型 91A80型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},信息计算。261,第3部分,519--535(2018;Zbl 1395.68119) 全文: 内政部 链接
帕特里克·贝洛特;埃里克·德·贝内德蒂;西蒙娜·隆奇·德拉·罗卡 描述初等λ演算中多项式和指数复杂性类的特征。 (英语) Zbl 1395.68135号 Inf.计算。 261,第1部分,55-77(2018).MSC公司:2015年第68季度 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人,《信息计算》。261,第1部分,55--77(2018;Zbl 1395.68135) 全文: 内政部 哈尔
Farmer,William M。 将引用和评价纳入教会的类型理论。 (英语) Zbl 1390.68168号 Inf.计算。 260, 9-50 (2018).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},信息计算。260,9-50(2018;Zbl 1390.68168) 全文: 内政部 arXiv公司
阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 (英语) Zbl 1390.68436号 Inf.计算。 259,第3部分,412-443(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人,《信息计算》。259,第3部分,412--443(2018;Zbl 1390.68436) 全文: 内政部 arXiv公司
杜尔汉,S。;Sciavicco,G。 树状结构的类艾伦时间理论。 (英语) Zbl 1436.03122号 Inf.计算。 259,第3部分,375-389(2018).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Durhan}和\textit{G.Sciavicco},Inf.Compute。259,第3部分,375--389(2018;Zbl 1436.03122) 全文: 内政部 链接
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018).MSC公司:60年第68季度 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: 内政部
瓦西里欧斯·库塔瓦斯;马西耶·加兹达;马修·轩尼诗 区分通信事务。 (英语) Zbl 1388.68198号 Inf.计算。 259,第1部分,1-30(2018).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Koutavas}等人,《信息计算》。259,第1部分,1-30(2018;Zbl 1388.68198) 全文: 内政部 arXiv公司
Wan Fokkink公司;罗布·范格拉贝克 分而治之。二: 从模态公式的分解到延迟和弱相似性的保持。 (英语) Zbl 1380.68295号 Inf.计算。 257, 79-113 (2017).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}和\textit{R.van Glabbeek},Inf.Compute。257、79——113(2017年;Zbl 1380.68295) 全文: 内政部 arXiv公司
卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 用于推理无纠缠量子态变换的分支分布式时序逻辑。 (英语) Zbl 1372.68191号 Inf.计算。 255,第2部分,311-333(2017).MSC公司:68问题85 03B44号 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{L.Vigan“}等人,《Inf.Compute》。255,第2部分,311--333(2017;Zbl 1372.68191) 全文: 内政部 链接
卡洛斯·阿雷塞斯;汉斯·范·迪特马什;劳尔·费尔瓦里;弗朗索瓦·施瓦森特鲁伯 复制和删除的模式逻辑。 (英语) Zbl 1373.03044号 Inf.计算。 255,第2部分,243-261(2017).MSC公司:03B70号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,Inf.计算。255,第2部分,243-261(2017年;兹bl 1373.03044) 全文: 内政部 哈尔
塞尔吉奥·阿布里奥拉;玛丽亚·艾米丽亚·德斯科特;圣地亚哥菲格拉 XPath在数据树上的模型理论。二: 二进制互模拟和可定义性。 (英语) Zbl 1372.68078号 Inf.计算。 255,第2部分,195-223(2017).MSC公司:第68页,共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abriola}等人,《信息计算》。255,第2部分,195--223(2017;Zbl 1372.68078) 全文: 内政部
杨建南;曹永志;王汉平 概率系统中的差异隐私。 (英语) 兹比尔1370.68081 Inf.计算。 254,第1部分,84-104(2017).MSC公司:第68页第25页 03B70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,《信息计算》。254,第1部分,84--104(2017;Zbl 1370.68081) 全文: 内政部
Dimitar P.Guelev。 在交替时间逻辑中提炼战略能力。 (英语) Zbl 1370.68204号 Inf.计算。 254,第2部分,316-328(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev},Inf.计算。254,第2部分,316-328(2017;Zbl 1370.68204) 全文: 内政部
康斯坦丁·埃纳;彼得·哈伯梅尔;奥马尔·因弗索;Gennaro帕拉托 关于整数线性规划的路径宽度。 (英语) Zbl 1362.68230号 Inf.计算。 253,第2部分,257-271(2017).MSC公司:68兰特 03B25号 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}等人,《信息计算》。253,第2部分,257--271(2017;Zbl 1362.68230) 全文: 内政部 链接
彼得·费蒙维尔;马丁·齐默尔曼 参数线性动态逻辑。 (英语) 兹比尔1362.68169 Inf.计算。 253,第2部分,237-256(2017).MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}和\textit{M.Zimmermann},Inf.Compute。253,第2部分,237--256(2017;Zbl 1362.68169) 全文: 内政部 arXiv公司
乔尼·维特玛 命题依赖逻辑有效性的复杂性。 (英语) Zbl 1362.68114号 Inf.计算。 253,第2部分,224-236(2017).MSC公司:65年第68季度 03B45号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Virtema},Inf.计算。253,第2部分,224--236(2017;Zbl 1362.68114) 全文: 内政部
宋,傅;吴志林 关于数据变量量化的时序逻辑:可判定性和复杂性。 (英语) Zbl 1353.68181号 Inf.计算。 251, 104-139 (2016).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu},Inf.Comput。251104--139(2016年;Zbl 1353.68181) 全文: 内政部
弗朗西斯科·加兰。;Cañete-Valdeón,JoséM。 用于检查一类无限量化定义的正逻辑程序的合成。 (英语) Zbl 1353.68050号 Inf.计算。 249, 205-236 (2016). 审核人:埃里克·马丁(悉尼) MSC公司:68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Galán}和\textit{J.M.Cañete-Valdeón},Inf.Compute。249205-236(2016;Zbl 1353.68050) 全文: 内政部
拉尔斯·比克达尔;吉勒姆·贾伯;菲利普·西奇科夫斯基;雅各布·塔姆斯堡 用于基于效果的程序转换的Kripke逻辑关系。 (英语) Zbl 1345.68095号 Inf.计算。 249160-189(2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,《信息计算》。249160-189(2016年;兹比尔1345.68095) 全文: 内政部
Miika Hannula公司;朱哈·科廷宁 条件独立性和包含依赖性的有限公理化。 (英语) Zbl 1435.68076号 Inf.计算。 249121-137(2016).MSC公司:第68页,共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}和\textit{J.Kontinen},Inf.Compute。249、121--137(2016;Zbl 1435.68076) 全文: 内政部 arXiv公司
布莱恩·雷德蒙德(Brian F.Redmond)。 有界组合逻辑和较低的复杂性。 (英语) Zbl 1339.68140号 Inf.计算。 248, 215-226 (2016).MSC公司:2012年第68季度 03B40型 03B47号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.F.Redmond},信息计算。248215--226(2016;Zbl 1339.68140) 全文: 内政部
乌戈·达尔拉戈;乌尔里希·舍普 空间函数编程的交互计算。 (英语) Zbl 1339.68038号 Inf.计算。 248, 150-194 (2016).MSC公司:68甲18 03B70号 03楼52 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal-Lago}和\textit{U.Schöpp},Inf.Comput。248150-194(2016;Zbl 1339.68038) 全文: 内政部 哈尔
杰切克·克尔兹;阿列克西·舒伯特 多态性在软类型表征复杂性中的作用。 (英语) Zbl 1339.68098号 Inf.计算。 248, 130-149 (2016).MSC公司:2015年第68季度 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{J.Chrząszcz}和\textit{A.Schubert},Inf.Compute。248130--149(2016;Zbl 1339.68098) 全文: 内政部
丹尼尔·德·卡瓦略;洛伦佐托托拉·德·法尔科 线性逻辑中强规范化的语义描述。 (英语) Zbl 1353.03077号 Inf.计算。 248104-129(2016). 审核人:吉尔达·费雷拉(里斯本) MSC公司:03楼52 05年3月 07年3月 03B70号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{D.de Carvalho}和\textit{L.Tortora de Falco},Inf.Compute。248104-129(2016;Zbl 1353.03077) 全文: 内政部 arXiv公司 链接
乔尔吉·贾普里泽 竖琴入门。二、。 (英语) Zbl 1343.03045号 Inf.计算。 247, 290-312 (2016). 审核人:赛义德·萨利希(大不里士) MSC公司:30楼03号 03B70号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},信息计算。247290-312(2016;Zbl 1343.03045) 全文: 内政部 arXiv公司
你好,劳里;安蒂·库西斯托 存在二阶逻辑和具有量化可达性关系的模态逻辑。 (英语) Zbl 1402.03021号 Inf.计算。 247, 217-234 (2016).MSC公司:03B15号机组 03B25号 03B45号 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}和\textit{A.Kuusisto},Inf.Compute。247217-234(2016;Zbl 1402.03021) 全文: 内政部
多里特·帕尔多(奥登特里希);亚历山大·拉比诺维奇 没有未来(暗示)过去。“几乎未来”时序逻辑的有限基础。 (英语) Zbl 1408.03012号 Inf.计算。 247, 203-216 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pardo(Ordentlich)}和\textit{A.Rabinovich},Inf.Compute。247203--216(2016;Zbl 1408.03012) 全文: 内政部
曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;安托万·莫特;迈克尔·平斯克 距离约束满足问题。 (英语) Zbl 1336.68116号 Inf.计算。 247, 87-105 (2016).MSC公司:65年第68季度 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《Inf.Compute》。247、87--105(2016;Zbl 1336.68116) 全文: 内政部 arXiv公司
彼得罗·加利亚尼 团队语义中的向上闭合依赖关系。 (英语) Zbl 1333.03089号 Inf.计算。 245, 124-135 (2015).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},Inf.计算。245124--135(2015;Zbl 1333.03089) 全文: 内政部 arXiv公司
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 用战略背景扩充ATL。 (英语) Zbl 1332.68140号 Inf.计算。 245, 98-123 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey},Inf.Comput。24598--123(2015;Zbl 1332.68140) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 一种基于SMT的MITL可满足性检查方法。 (英语) Zbl 1332.68138号 Inf.计算。 245, 72-97 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《信息计算》。24572--97(2015;Zbl 1332.68138) 全文: 内政部
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL:混合系统的时序逻辑。 (英语) Zbl 1332.68139号 Inf.计算。 245, 54-71 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。245、54-71(2015;Zbl 1332.68139) 全文: 内政部
格雷戈里·科贝尔。;西尔万·萨尔瓦蒂 重新审视了IO和OI层次结构。 (英语) Zbl 1327.68145号 Inf.计算。 243, 205-221 (2015).MSC公司:2012年第68季度 03B40型 03B65号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Kobele}和\textit{S.Salvati},Inf.Compute。243205--221(2015;Zbl 1327.68145) 全文: 内政部
马库斯·洛伊;本杰明·斯坦伯格;乔治·泽采 环积的有理子集和次单体。 (英语) Zbl 1332.20038号 Inf.计算。 243, 191-204 (2015).MSC公司:2010年1月20日 20E22型 2005年5月20日 03B25号 03天35分 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,《信息计算》。243191-204(2015年;Zbl 1332.20038) 全文: 内政部 arXiv公司
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1378.68112号 Inf.计算。 242, 306-339 (2015).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。242306--339(2015年;Zbl 1378.68112) 全文: 内政部
克利斯朵夫·查尔顿;朱利安·布鲁内尔;戴维·谢穆伊尔 具有可撤销和可再融资策略的逻辑。 (英语) Zbl 1319.68142号 Inf.计算。 242, 157-182 (2015).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chareton}等人,《信息计算》。242157-182(2015;Zbl 1319.68142) 全文: 内政部
西蒙·巴斯德;查尔斯·佩彻;曲洪阳;佛朗哥·雷蒙迪 部分可观测性和无条件公平约束下无记忆策略的推理。 (英语) Zbl 1319.68141号 Inf.计算。 242, 128-156 (2015).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}等人,Inf.计算。242、128——156(2015;Zbl 1319.68141) 全文: 内政部 链接
劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 统一策略、理性关系和跳跃自动机。 (英语) Zbl 1319.68140号 Inf.计算。 242, 80-107 (2015).MSC公司:60年第68季度 03B42号 03B44号 05年3月 2017年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。242、80-107(2015;Zbl 1319.68140) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 迭代布尔游戏。 (英语) Zbl 1318.91012号 Inf.计算。 242, 53-79 (2015).MSC公司:91A10号 03B44号 65年第68季度 65年第68季度 91A20型 91A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。242、53--79(2015年;Zbl 1318.91012) 全文: 内政部
大卫·诺瓦克;张瑜 形式化的安全证明:工作中的隐式计算复杂性。 (英语) Zbl 1310.94164号 Inf.计算。 241, 96-113 (2015).MSC公司:94A60型 03B40型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Nowak}和\textit{Y.Zhang},Inf.Compute。24196-113(2015年;Zbl 1310.94164) 全文: 内政部
布鲁内尔,阿洛伊斯 量化经典可实现性。 (英语) Zbl 1323.03092号 Inf.计算。 241,62-95(2015).MSC公司:03楼52 68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brunel},Inf.计算。241,62-95(2015年;兹bl 1323.03092) 全文: 内政部 arXiv公司
托马斯·泽姆;托马斯·施温蒂克 关于可达性的无量词动态复杂性。 (英语) Zbl 1312.68085号 Inf.计算。 240108-129(2015年).MSC公司:第68页,共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Zeume}和\textit{T.Schwentick},Inf.Comput。240、108-129(2015;Zbl 1312.68085) 全文: 内政部
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 克里文机和高阶方案。 (英语) Zbl 1309.68073号 Inf.计算。 239, 340-355 (2014).MSC公司:2005年第68季度 03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},信息计算。239340-355(2014年;Zbl 1309.68073) 全文: 内政部
劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 细化模态逻辑。 (英语) Zbl 1309.68175号 Inf.计算。 239, 303-339 (2014).MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。239303--339(2014年;Zbl 1309.68175) 全文: 内政部 arXiv公司
朱哈·科廷宁;安蒂·库西斯托;彼得·洛曼;乔尼·维特玛 二元依赖逻辑和IF-逻辑的复杂性。 (英语) Zbl 1310.03042号 Inf.计算。 239, 237-253 (2014).MSC公司:03B60号 03B25号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}等人,《信息计算》。239237--253(2014年;Zbl 1310.03042) 全文: 内政部
坎通纳,多梅尼科;彼得罗·乌西诺 集合论中决策问题的形成过程及其应用。二、。Powerset和singleton运算符,有限谓词。 (英语) Zbl 1291.03011号 Inf.计算。 237, 215-242 (2014).MSC公司:03B25号 03B35型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{P.Ursino},Inf.Compute。237215--242(2014;Zbl 1291.03011) 全文: 内政部 arXiv公司
布里姆·L。;德卢霍什,P。;萨夫拉内克,D。;Vejpustek,T。 STL*:使用信号值冻结运算符扩展信号时序逻辑。 (英语) 兹比尔1311.68085 Inf.计算。 236, 52-67 (2014).MSC公司:60年第68季度 92B25型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,信息计算。23652--67(2014年;Zbl 1311.68085) 全文: 内政部
班克斯,C.J。;斯塔克,I。 上下文中的行为逻辑。 (英语) Zbl 1311.68083号 Inf.计算。 236, 3-18 (2014).MSC公司:60年第68季度 03B44号 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Banks}和\textit{I.Stark},Inf.Compute。2363-18(2014年;Zbl 1311.68083) 全文: 内政部
玛丽亚·阿尔普恩特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 (英语) Zbl 1314.68169号 Inf.计算。 235, 98-136 (2014). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《Inf.Compute》。235、98——136(2014年;Zbl 1314.68169) 全文: 内政部