张奎泽 标记的实时自动机的基于状态的不透明性。 (英语) Zbl 07811872号 西奥。计算。科学。 987,文章ID 114373,20 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},Theor(西奥)。计算。科学。987,文章ID 114373,20页(2024;Zbl 07811872) 全文: 内政部
琼·博亚尔;Larsen,Kim S。;丹尼斯·潘克拉托夫 通知自适应优先级算法的复杂性。 (英语) Zbl 07782073号 西奥。计算。科学。 984,文章ID 114318,31 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Boyar}等人,Theor。计算。科学。984,文章ID 114318,31 p.(2024;Zbl 07782073) 全文: 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 命题逻辑模同构的扩张证明。 (英语) Zbl 07751512号 西奥。计算。科学。 977,文章ID 114172,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek},Theor。计算。科学。977,文章编号114172,17 p.(2023;Zbl 07751512) 全文: 内政部 arXiv公司
Franz Brauße;康斯坦丁·科洛文;玛格丽塔·科罗维纳五世。;Müller,Norbert Th。 ksmt演算是一个针对非线性约束的完整决策过程。 (英语) Zbl 07741110号 西奥。计算。科学。 975,文章ID 114125,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Brauße}等人,Theor。计算。科学。975,文章ID 114125,16 p.(2023;Zbl 07741110) 全文: 内政部
罗斯·霍恩;绍克·莫;塞门·尤尔科夫 当隐私失效时,一个公式描述了一种攻击:应用的(pi)演算的完整组合验证方法。 (英语) Zbl 07685353号 西奥。计算。科学。 959,文章ID 113842,42 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人,Theor。计算。科学。959,文章ID 113842,42 p.(2023;Zbl 07685353) 全文: 内政部
尼古拉·克劳斯;弗雷德里克·诺德瓦尔·福斯伯格;徐创杰 序数的类型论方法。 (英语) 兹比尔07679991 西奥。计算。科学。 957,文章ID 113843,34 p.(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kraus}等人,Theor。计算。科学。957,文章ID 113843,34 p.(2023;Zbl 07679991) 全文: 内政部 arXiv公司
坎通纳,多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。三: 关键的多项式最大可判定布尔语言的测试程序。 (英语) 兹伯利07673768 西奥。计算。科学。 954,文章ID 113786,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Theor。计算。科学。954,文章ID 113786,21 p.(2023;Zbl 07673768) 全文: 内政部
伯恩,马丁;西蒙,伯特兰 发现并验证在线箱子拉伸问题的下限。 (英语) Zbl 07605950号 西奥。计算。科学。 938, 1-15 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Böhm}和\textit{B.Simon},Theor。计算。科学。938,1--15(2022;Zbl 07605950) 全文: 内政部 arXiv公司
斯特凡·赫兹尔;扬尼克·维林 子句集循环的不可验证结果。 (英语) Zbl 07601537号 西奥。计算。科学。 935, 21-46 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Hetzl}和\textit{J.Vierling},Theor。计算。科学。935,21-46(2022;Zbl 07601537) 全文: 内政部 arXiv公司
奥列克西·奥梅尔琴科;安德烈·布拉托夫。 配置模型中幂律随机2-SAT的可满足阈值。 (英语) 兹比尔1514.68275 西奥。计算。科学。 888, 70-94 (2021).MSC公司:68T20型 87年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Omelchenko}和\textit{A.A.Bulatov},Theor。计算。科学。88870--94(2021年;Zbl 1514.68275) 全文: 内政部 arXiv公司
楚、怀瑞;肖明宇;张哲 SAT的改进上限。 (英语) Zbl 1514.68193号 西奥。计算。科学。 887, 51-62 (2021).MSC公司:68兰特 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{H.Chu}等人,Theor。计算。科学。887,51-62(2021;Zbl 1514.68193) 全文: 内政部 arXiv公司
苏布拉马尼,K。;Wojciechowski,P。 关于UTVPI+约束系统中只读反驳的参数化复杂性。 (英语) Zbl 1517.68147号 西奥。计算。科学。 883, 1-18 (2021).MSC公司:68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{P.Wojciechowski},Theor。计算。科学。883,1-18(2021;Zbl 1517.68147) 全文: 内政部
迈克尔·克里斯滕森;约瑟夫·麦克马汉;劳顿·尼科尔斯;贾里德·罗埃什;蒂莫西·舍伍德;本·哈德科夫 通过完整性类型和经过验证的组装实现安全功能系统。 (英语) Zbl 1477.68030号 西奥。计算。科学。 851, 39-61 (2021).MSC公司:2007年7月68日 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Christensen}等人,Theor。计算。科学。851,39-61(2021;Zbl 1477.68030) 全文: 内政部
大卫·M·塞尔纳。 反统一与半环理论。 (英语) Zbl 1464.68138号 西奥。计算。科学。 848, 133-139 (2020).MSC公司:第68季度第42季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \文本{D.M.Cerna},Theor。计算。科学。848133-139(2020年;Zbl 1464.68138) 全文: 内政部
戈因纳,丹尼尔;中村,Masaki;Kazuhiro绪方;高基町五指 通过合并推出的终止稳定性和充分完整性。 (英语) Zbl 1464.68215号 西奥。计算。科学。 848, 82-105 (2020).MSC公司:68问题65 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin}等人,Theor。计算。科学。848、82--105(2020年;Zbl 1464.68215) 全文: 内政部
坎通纳,多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。二: 涉及成员关系的“小型”语言分类。 (英语) Zbl 1498.03113号 西奥。计算。科学。 848, 28-46 (2020).MSC公司:03E30年 03B25号 03B35型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Theor。计算。科学。84828--46(2020年;Zbl 1498.03113) 全文: 内政部
劳拉·佐丹奴;阿尔贝托,Policriti 将电源设置添加到描述逻辑。 (英语) Zbl 1433.68420号 西奥。计算。科学。 813, 155-174 (2020).MSC公司:68T27型 03E70型 03E75型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{A.Policriti},Theor。计算。科学。813155-174(2020年;Zbl 1433.68420) 全文: 内政部 arXiv公司
卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) Zbl 1464.68209号 西奥。计算。科学。 819, 35-49 (2020).MSC公司:60年第68季度 03B44号 03B70号 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) Zbl 1436.68077号 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司
德克斯特·科赞;亚历山德拉·席尔瓦 左手完整性。 (英语) Zbl 1436.68202号 西奥。计算。科学。 807, 220-233 (2020).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}和\textit{A.Silva},Theor。计算。科学。807220--233(2020年;Zbl 1436.68202) 全文: 内政部
斯特凡·赫兹尔;西蒙·沃尔夫斯泰纳 关于有限语言的覆盖复杂性。 (英语) Zbl 1435.68165号 西奥。计算。科学。 798, 109-125 (2019).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hetzl}和\textit{S.Wolfsteiner},Theor。计算。科学。798109-125(2019年;Zbl 1435.68165) 全文: 内政部 哈尔
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;让-弗朗索瓦·康多塔 定性约束网络的基于集体单点的一致性:理论与实践。 (英语) 兹比尔1435.68322 西奥。计算。科学。 797, 17-41 (2019).MSC公司:68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人,Theor。计算。科学。797、17-41(2019年;Zbl 1435.68322) 全文: 内政部 哈尔
米歇尔·拉特奥;罗斯、伊夫斯 在前缀单规则字符串重写系统上。 (英语) Zbl 1435.68136号 西奥。计算。科学。 795, 240-256 (2019). 审核人:Ioan Tomescu(Bucureşti) MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Latteux}和\textit{Y.Roos},Theor。计算。科学。795240-256(2019年;Zbl 1435.68136) 全文: 内政部 哈尔
考斯托夫·乔杜里;莱昂纳多·利马;吉赛尔·赖斯 线性逻辑顺序计算的形式化元理论。 (英语) Zbl 1425.03007号 西奥。计算。科学。 781, 24-38 (2019).MSC公司:03B35型 03B47号 05年3月 第03页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人,Theor。计算。科学。781,24-38(2019;Zbl 1425.03007) 全文: 内政部
毛里西奥·阿亚拉·林科恩;华盛顿州,de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉,安娜·克里斯蒂娜 与A、C和AC函数符号的标称(α)等价的形式化。 (英语) Zbl 1423.68405号 西奥。计算。科学。 781, 3-23 (2019).MSC公司:68吨15 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Theor。计算。科学。781,3--23(2019年;Zbl 1423.68405) 全文: 内政部 链接
彼得·库切拉;彼得·萨维克;Vojtěch Vorel at-most-one约束的CNF编码的下限。 (英语) Zbl 1417.68199号 西奥。计算。科学。 762, 51-73 (2019).MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kučera}等人,Theor。计算。科学。762、51-73(2019年;Zbl 1417.68199) 全文: 内政部 arXiv公司
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英语) Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司
瓦格伏尔盖,桑多尔 可识别树语言的后代,用于带有位置切割策略的前缀约束线性单子项重写。 (英语) 兹比尔1398.68329 西奥。计算。科学。 732, 60-72 (2018). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Vágvölgyi},Theor。计算。科学。732、60-72(2018年;Zbl 1398.68329) 全文: 内政部
亚历山大·莱奇;迈克尔·莱特曼 (Pi_{2})-切入导入的问题。 (英语) Zbl 1423.03240号 西奥。计算。科学。 706, 83-116 (2018).MSC公司:2007年3月 05年3月 03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Leitsch}和\textit{M.Lettmann},Theor。计算。科学。706,83-116(2018年;Zbl 1423.03240) 全文: 内政部 arXiv公司
赵春娜;李珊珊 HOL4中分数阶PD控制系统的形式化。 (英语) Zbl 1380.68342号 西奥。计算。科学。 706, 22-34 (2018).MSC公司:68吨15 26A33飞机 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhao}和\textit{S.Li},Theor。计算。科学。706、22-34(2018年;Zbl 1380.68342) 全文: 内政部
M.M.易卜拉希米。;Keshvardoost,Kh。;马哈茂迪,M。 简单且次直不可约的有限支持\(Cb\)-集。 (英语) Zbl 1380.68122号 西奥。计算。科学。 706, 1-21 (2018).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.M.易卜拉希米}等人,Theor。计算。科学。706,1--21(2018;Zbl 1380.68122) 全文: 内政部
何塞·梅塞格尔 条件重写模公理的严格一致性。 (英语) Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司:第68季度第42季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},Theor(西奥)。计算。科学。672,1--35(2017;Zbl 1386.68080) 全文: 内政部
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并行系统中的次指数、聚焦和模式。 (英语) Zbl 1373.68298号 西奥。计算。科学。 693, 35-58 (2017).MSC公司:68问题85 第03页 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人,Theor。计算。科学。693、35-58(2017年;Zbl 1373.68298) 全文: 内政部
埃内斯托·科佩罗;诺拉·萨兹;阿尔瓦罗·塔西斯特罗 使用斯托顿代换的lambda演算的形式元理论。 (英语) Zbl 1383.03021号 西奥。计算。科学。 685,65-82(2017). 审核人:马丁·邦德(伍伦贡) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Copello}等人,Theor。计算。科学。685、65-82(2017年;Zbl 1383.03021) 全文: 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 (英语) Zbl 1371.68197号 西奥。计算。科学。 685, 46-64 (2017).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel},Theor。计算。科学。685、46-64(2017年;Zbl 1371.68197) 全文: 内政部
王金燕;尹明浩;吴京丽 模型计数的两种近似算法。 (英语) Zbl 1356.68110号 西奥。计算。科学。 657,A部分,28-37(2017).MSC公司:65年第68季度 03B05号 03B35型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人,Theor。计算。科学。657,A部分,28-37(2017;Zbl 1356.68110) 全文: 内政部
Akutsu、Tatsuya;杰斯珀·詹森;Atsuhiro Takasu;Tamura、Takeyuki 关于结合和交换统一的参数化复杂性。 (英语) Zbl 1355.68108号 西奥。计算。科学。 660, 57-74 (2017).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Akutsu}等人,Theor。计算。科学。660、57-74(2017年;Zbl 1355.68108) 全文: 内政部
维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1356.68146号 西奥。计算。科学。 655,B部分,155-192(2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},Theor。计算。科学。655,B部分,155-192(2016;兹bl 1356.68146) 全文: 内政部 arXiv公司
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部
Angelo蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 向区间时序逻辑添加一个或多个等价关系。 (英语) Zbl 1408.03011号 西奥。计算。科学。 629, 116-134 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,Theor。计算。科学。629、116--134(2016;Zbl 1408.03011) 全文: 内政部
弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 依赖模式的\(\mathcal{Q}\)-解析的正确性。 (英语) Zbl 1332.68204号 西奥。计算。科学。 612, 83-101 (2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Slivovsky}和\textit{S.Szeider},Theor。计算。科学。61283--101(2016年;Zbl 1332.68204) 全文: 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 次指数并发约束规划。 (英语) Zbl 1332.68027号 西奥。计算。科学。 606,98-120(2015).MSC公司:68甲19 第03页 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,Theor。计算。科学。606,98-120(2015年;兹比尔1332.68027) 全文: 内政部
阿尔贝托·齐法格利翁;伊万·斯卡格内托 弱HOAS中的机械化环境。 (英语) Zbl 1332.68202号 西奥。计算。科学。 606,57-78(2015).MSC公司:68吨15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciafglione}和\textit{I.Scagnetto},Theor。计算。科学。606、57-78(2015年;Zbl 1332.68202) 全文: 内政部
卡洛斯·阿雷塞斯;伊泽基尔·奥贝 对称阻塞。 (英语) Zbl 1332.68200号 西奥。计算。科学。 606, 25-41 (2015).MSC公司:68吨15 03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{E.Orbe},Theor。计算。科学。60625--41(2015年;Zbl 1332.68200) 全文: 内政部
安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 多带图灵机的形式化。 (英语) 兹比尔1330.68065 西奥。计算。科学。 603, 23-42 (2015).MSC公司:2005年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{W.Ricciotti},Theor。计算。科学。603、23-42(2015年;Zbl 1330.68065) 全文: 内政部
艾尔维拉·阿尔伯特;科里亚斯,杰苏斯;德国普埃布拉;吉列尔莫·罗曼·迪兹 多域增量分析引擎及其在增量资源分析中的应用。 (英语) Zbl 1327.68076号 西奥。计算。科学。 585, 91-114 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Theor。计算。科学。585,91-114(2015年;兹bl 1327.68076) 全文: 内政部
纪尧姆·邦芬特;弗洛里安·德洛普;安托万·亨罗 实数或自然数的解释及其对复杂性的影响。 (英语) Zbl 1345.68188号 西奥。计算。科学。 585, 25-40 (2015).MSC公司:第68季度第42季度 第14页99 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonfante}等人,Theor。计算。科学。585,25-40(2015;Zbl 1345.68188) 全文: 内政部
马丁·阿文齐尼;江口、闹喜;乔治·莫瑟 多面体可计算函数的一种新的序理论表征。 (英语) Zbl 1327.68142号 西奥。计算。科学。 585, 3-24 (2015).MSC公司:第68季度第42季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Avanzini}等人,Theor。计算。科学。585,3--24(2015;Zbl 1327.68142) 全文: 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默,Jan 观察程序计算和翻译的正确性。 (英语) Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Theor。计算。科学。577、98——124(2015年;Zbl 1309.68052) 全文: 内政部 哈尔
米科拉什,雅诺塔;若昂·西尔瓦侯爵 基于扩展的QBF求解与Q分辨率。 (英语) Zbl 1309.68168号 西奥。计算。科学。 577, 25-42 (2015).MSC公司:68吨15 03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}和\textit{J.Marques-Silva},Theor。计算。科学。577、25-42(2015年;Zbl 1309.68168) 全文: 内政部
安德烈·波佩斯库;格里高·罗什乌 术语通用逻辑。 (英语) Zbl 1310.03044号 西奥。计算。科学。 577, 1-24 (2015).MSC公司:03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}和\textit{G.Rošu},Theor。计算。科学。577,1--24(2015;Zbl 1310.03044) 全文: 内政部 链接
Jean-François Dufourd 有限域中函数轨道的形式化研究。 (英语) Zbl 1317.68208号 西奥。计算。科学。 564, 63-88 (2015).MSC公司:68吨15 60年第68季度 68问题65 68单位05 PDF格式BibTeX公司 XML格式引用 \文本{J.-F.Dufourd},Theor。计算。科学。564、63--88(2015年;Zbl 1317.68208) 全文: 内政部
坎通纳,多梅尼科;克里斯蒂亚诺·隆戈 具有有序对和一些不可判定扩展的可判定二分类量化集合论片段。 (英语) Zbl 1329.03045号 西奥。计算。科学。 560,第3部分,307-325(2014). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{C.Longo},Theor。计算。科学。560,第3部分,307--325(2014;Zbl 1329.03045) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;Angelo蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 强离散线性序上的区间时序逻辑:表达性和复杂性。 (英语) 兹比尔1335.03017 西奥。计算。科学。 560,第3部分,269-291(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。560,第3部分,269--291(2014;Zbl 1335.03017) 全文: 内政部
约书亚·男爵;尤瓦尔·伊斯海;拉斐尔·奥斯特罗夫斯基 关于线性规模的伪随机生成器和核心函数。 (英语) Zbl 1384.94032号 西奥。计算。科学。 554, 50-63 (2014).MSC公司:94A60型 11公里45 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Baron}等人,Theor。计算。科学。554,50-63(2014年;兹比尔1384.94032) 全文: 内政部
高洪标;谷藤裕一;程景德 自动定理发现的系统方法。 (英语) Zbl 1360.68749号 西奥。计算。科学。 554, 2-21 (2014).MSC公司:68吨15 03B35型 03B47号 03E70型 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,Theor。计算。科学。554,2--21(2014;Zbl 1360.68749) 全文: 内政部
斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;丹尼尔·韦勒 量化切割的算法介绍。 (英语) 兹比尔1393.03050 西奥。计算。科学。 549, 1-16 (2014).MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Hetzl}等人,Theor。计算。科学。549,1--16(2014;Zbl 1393.03050) 全文: 内政部 arXiv公司
马丁·米拉尼奇;罗密欧·里兹;亚历山大·托梅斯库一世。 设置图形。二、。集合图识别的复杂性和类似问题。 (英语) Zbl 1298.05146号 西奥。计算。科学。 547,70-81(2014).MSC公司:05C20号 05C62号 05年6月29日 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Milanič}等人,Theor。计算。科学。547、70--81(2014年;Zbl 1298.05146) 全文: 内政部 arXiv公司
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 一种网络意识演算及其余代数语义。 (英语) Zbl 1342.68234号 西奥。计算。科学。 546, 188-224 (2014).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino},Theor。计算。科学。546188-224(2014;Zbl 1342.68234) 全文: 内政部
佩德罗·阿德奥;保罗·马特乌斯;卢卡·维甘诺 具有有限会话数和成本敏感猜测入侵者的协议不安全性是NP完全的。 (英语) Zbl 1359.94564号 西奥。计算。科学。 538, 2-15 (2014).MSC公司:94A60型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Adão}等人,Theor。计算。科学。538,2--15(2014年;Zbl 1359.94564) 全文: 内政部
Vivek Nigam先生 线性授权逻辑框架。 (英语) 兹比尔1323.03093 西奥。计算。科学。 536, 21-41 (2014).MSC公司:第03页 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Nigam},Theor。计算。科学。536,21-41(2014;Zbl 1323.03093) 全文: 内政部
卡斯滕·莱曼;拉斐尔·佩尼亚洛萨 计算无限树上格自动机行为的复杂性。 (英语) Zbl 1314.68178号 西奥。计算。科学。 534, 53-68 (2014). 审核人:Michal Kunc(布尔诺) MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehmann}和\textit{R.Peñaloza},Theor。计算。科学。534、53--68(2014年;Zbl 1314.68178) 全文: 内政部
瓦莱里·巴拉巴诺夫;蒋慧菊凯瑟琳;蒋洁红R。 汉金量词和布尔公式:DQBF的证明视角。 (英语) Zbl 1283.03032号 西奥。计算。科学。 523, 86-100 (2014).MSC公司:03B35型 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{V.Balabanov}等人,Theor。计算。科学。523,86-100(2014;Zbl 1283.03032) 全文: 内政部
萨尔瓦多鲁杰里;帕夫洛斯·埃里纳基斯;苏布拉马尼,K。;彼得·沃伊切乔夫斯基 关于量化线性系统的复杂性。 (英语) Zbl 1358.03051号 西奥。计算。科学。 518, 128-134 (2014).MSC公司:2015年3月1日 2015年第68季度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.Ruggieri}等人,Theor。计算。科学。518128-134(2014年;兹bl 1358.03051) 全文: 内政部
文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 (英语) Zbl 1294.68111号 西奥。计算。科学。 492, 1-39 (2013).MSC公司:68问题85 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,Theor。计算。科学。492,1--39(2013年;Zbl 1294.68111) 全文: 内政部
大卫·布雷索林;Angelo蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 有限结构、自然数和整数上MPNL的最优决策过程。 (英语) Zbl 1296.03013号 西奥。计算。科学。 493, 98-115 (2013).MSC公司:03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。493,98-115(2013年;兹bl 1296.03013) 全文: 内政部
达戈斯蒂诺,马塞洛;马塞洛·芬格;Dov Gabbay公司 深度有界布尔逻辑的语义和证明理论。 (英语) Zbl 1315.03107号 西奥。计算。科学。 480, 43-68 (2013).MSC公司:03财年03 03B05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,Theor。计算。科学。480、43-68(2013;Zbl 1315.03107) 全文: 内政部 链接
纳鸿·德肖维茨 跳转和转义:模块化终止和抽象路径排序。 (英语) Zbl 1253.68193号 西奥。计算。科学。 464, 35-47 (2012).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{N.Dershowitz},Theor。计算。科学。464,35-47(2012;Zbl 1253.68193) 全文: 内政部
Gilles Dowek;默多克·J·加贝。 PNL到HOL:从标称集逻辑到高阶函数逻辑。 (英语) Zbl 1309.03013号 西奥。计算。科学。 451, 38-69 (2012).MSC公司:03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay},Theor。计算。科学。451、38--69(2012;Zbl 1309.03013) 全文: 内政部 arXiv公司
罗伊·克罗。 阿尔法等价等式。 (英语) Zbl 1244.68030号 西奥。计算。科学。 433,1-19(2012年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole},Theor(西奥)。计算。科学。433、1-19(2012年;Zbl 1244.68030) 全文: 内政部
艾尔维拉·阿尔伯特;阿里纳斯,普里;萨米尔·根奈姆;普埃布拉,德国;达米亚诺·扎纳尔迪尼 面向对象字节码程序的成本分析。 (英语) Zbl 1236.68042号 西奥。计算。科学。 413,第1期,142-159(2012).MSC公司:68号30 68甲19 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Theor。计算。科学。413,第1号,142--159(2012;Zbl 1236.68042) 全文: 内政部
库普克,克莱门斯;德克·帕丁森 模态逻辑的协同语义:综述。 (英语) Zbl 1360.03068号 西奥。计算。科学。 412,第38号,5070-5094(2011).MSC公司:03B45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{D.Pattinson},Theor。计算。科学。412,第38号,5070--5094(2011;Zbl 1360.03068) 全文: 内政部
约尔格恩德鲁利斯;迪米特里·亨德里克斯 通过终止提高生产率。 (英语) Zbl 1216.68136号 西奥。计算。科学。 412,第28号,3203-3225(2011).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}和\textit{D.Hendriks},Theor。计算。科学。412,编号28,3203-3225(2011年;兹bl 1216.68136) 全文: 内政部
塞萨尔·多明格斯;朱利奥·鲁比奥 Coq中形式化的双复数的有效同源性。 (英语) Zbl 1207.68211号 西奥。计算。科学。 412,第11期,962-970(2011).MSC公司:68问题65 55单元15 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{J.Rubio},Theor。计算。科学。412,第11号,962--970(2011;Zbl 1207.68211) 全文: 内政部
菲利普·马里奇 通过浅层嵌入Isabelle/HOL对现代SAT解算器进行形式化验证。 (英语) Zbl 1208.68205号 西奥。计算。科学。 411,第50号,4333-4356(2010).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.Marić},Theor。计算。科学。411,第50号,4333--4356(2010;Zbl 1208.68205) 全文: 内政部
弗雷德里克·布兰基;克洛德·基什内尔;科林·里巴 关于lambda-calculus与条件重写的汇合。 (英语) 兹比尔1209.68104 西奥。计算。科学。 411,第37号,3301-3327(2010).MSC公司:68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人,Theor。计算。科学。411、37号、3301--3327(2010;Zbl 1209.68104) 全文: 内政部 arXiv公司
卢克·马西森 有界简并编辑图的参数化复杂性。 (英语) Zbl 1207.05200号 西奥。计算。科学。 411,编号34-36,3181-3187(2010).MSC公司:05C85号 05C75号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.Mathieson},Theor。计算。科学。411,第34-363181-3187号(2010;Zbl 1207.05200) 全文: 内政部
尼科莱塔·德·弗朗西斯科;朱塞佩·莱蒂埃里;卢卡·马提尼 使用抽象解释为Java字节码验证中的接口添加类型检查。 (英语) Zbl 1209.68085号 西奥。计算。科学。 411,编号22-24,2174-2201(2010).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.de Francesco}等人,Theor。计算。科学。411,No.22--24,2174--2201(2010;Zbl 1209.68085) 全文: 内政部
李欣;刘、田 回溯下背包的指数时间下界。 (英语) Zbl 1194.68127号 西奥。计算。科学。 411,第16-18号,1883-1888(2010).MSC公司:65年第68季度 2017年第68季度 68周01 68周25 90C27型 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}和\textit{T.Liu},Theor。计算。科学。411,编号16-18883-1888(2010;Zbl 1194.68127) 全文: 内政部
斯台普顿,宝石;豪斯,约翰;彼得·罗杰斯 一般欧拉图绘制的图论方法。 (英语) Zbl 1189.68134号 西奥。计算。科学。 411,第1期,91-112(2010).MSC公司:68立方英尺 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Stapleton}等人,Theor。计算。科学。411,编号1,91-112(2010年;兹bl 1189.68134) 全文: 内政部 链接
Chuck Liang先生;戴尔·米勒 线性逻辑、直觉逻辑和经典逻辑中的聚焦和极化。 (英语) 兹比尔1187.68528 西奥。计算。科学。 410,第46号,4747-4768(2009).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Liang}和\textit{D.Miller},Theor。计算。科学。410,第46号,4747--4768(2009;Zbl 1187.68528) 全文: 内政部
罗伯托·巴格纳拉;帕特里夏·M·希尔。;埃纳州扎法内拉 多面体计算在硬件和软件系统分析和验证中的应用。 (英语) Zbl 1187.68311号 西奥。计算。科学。 410,第46号,4672-4691(2009).MSC公司:60年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,Theor。计算。科学。410,编号46,4672--4691(2009;Zbl 1187.68311) 全文: 内政部 arXiv公司
吉安卢卡·阿马托;詹姆斯·利普顿;罗伯特·麦格拉尔 关于声明性编程语言的代数结构。 (英语) Zbl 1187.68121号 西奥。计算。科学。 410,第46号,4626-4671(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Amato}等人,Theor。计算。科学。410,编号464626-4671(2009年;兹bl 1187.68121) 全文: 内政部
亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 命题直觉逻辑的优化技术及其实现。 (英语) Zbl 1157.68060号 西奥。计算。科学。 409,第1期,41-58(2008).MSC公司:68吨15 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Avellone}等人,Theor。计算。科学。409,编号1,41-58(2008;Zbl 1157.68060) 全文: 内政部
埃蒂安·佩耶特 使用消除展开的术语重写中的循环检测。 (英语) 兹比尔1154.68436 西奥。计算。科学。 403,编号2-3307-327(2008).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{埃里·佩耶特},Theor。计算。科学。403,编号2--3,307--327(2008;Zbl 1154.68436) 全文: 内政部 哈尔
鲍尔丹,P。;A.Braciali。;布鲁尼,R。 开放流程的语义框架。 (英语) Zbl 1132.68042号 西奥。计算。科学。 389,第3期,446-483(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。389,第3号,446--483(2007;Zbl 1132.68042) 全文: 内政部 链接
托马斯·艾特;乔治·戈特洛布 命题逻辑中最小上界下的推理。 (英语) Zbl 1142.68532号 西奥。计算。科学。 369,编号1-3,82-115(2006).MSC公司:68T27型 03B05号 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{G.Gottlob},Theor。计算。科学。369,编号1--3,82-115(2006;Zbl 1142.68532) 全文: 内政部 链接
劳德,皮特;塔尔莫乌斯塔卢;瓦尔莫·维尼 类型系统相当于命令式语言的数据流分析。 (英语) Zbl 1153.68351号 西奥。计算。科学。 364,第3期,292-310(2006).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Laud}等人,Theor。计算。科学。364,第3922-310号(2006年;兹bl 1153.68351) 全文: 内政部
弗雷德里克·贝松;托马斯·延森;大卫·皮哈迪 经过认证的抽象解释和定点压缩的校验码。 (英语) Zbl 1153.68354号 西奥。计算。科学。 364,第3期,273-291(2006).MSC公司:68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Besson}等人,Theor。计算。科学。364,第3号,273--291(2006;Zbl 1153.68354) 全文: 内政部
罗伯托·布鲁尼;何塞·梅塞格尔 广义重写理论的语义基础。 (英语) Zbl 1097.68051号 西奥。计算。科学。 360,编号1-3,386-414(2006).MSC公司:第68季度第42季度 第68季度55 68问题85 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{J.Meseguer},Theor。计算。科学。360,编号1--3386--414(2006;Zbl 1097.68051) 全文: 内政部
Gilles Dowek;蒋莹 特征变量、括号和正最小谓词逻辑的可判定性。 (英语) 兹比尔1106.03006 西奥。计算。科学。 360,编号1-3,193-208(2006). 审核人:G.E.Mints(斯坦福) MSC公司:03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{Y.Jiang},Theor。计算。科学。360,编号1--3,193--208(2006;Zbl 1106.03006) 全文: 内政部
纳鸿·德肖维茨;克洛德·基什内尔 抽象规范演示。 (英语) Zbl 1099.03047号 西奥。计算。科学。 357,编号1-3,53-69(2006).MSC公司:03财年03 03B35型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{C.Kirchner},Theor。计算。科学。357,编号1--3,53-69(2006;Zbl 1099.03047) 全文: 内政部
马塞洛·芬格;雷娜塔·瓦瑟曼 命题近似的宇宙。 (英语) Zbl 1088.68162号 西奥。计算。科学。 355,第2期,153-166(2006).MSC公司:68吨15 03B35型 03B60号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{R.Wassermann},Theor。计算。科学。355,编号2,153--166(2006;Zbl 1088.68162) 全文: 内政部
Sylvain Conchon公司;萨瓦·克里斯蒂奇 组合决策程序的策略。 (英语) Zbl 1088.68161号 西奥。计算。科学。 354,第2期,187-210(2006).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}和\textit{S.Krstić},Theor。计算。科学。354,第2号,187--210(2006;Zbl 1088.68161) 全文: 内政部
德鲁夫·穆巴伊;吉尔吉斯·图兰;赵毅 DNF异常问题。 (英语) Zbl 1086.68113号 西奥。计算。科学。 352,编号1-3,85-96(2006).MSC公司:68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Mubayi}等人,Theor。计算。科学。352,编号1--3,85-96(2006;Zbl 1086.68113) 全文: 内政部
尤里·马蒂亚塞维奇;塞尼泽格斯,热罗 具有一些规则的半Thue系统的决策问题。 (英语) Zbl 1078.03033号 西奥。计算。科学。 330,第1号,145-169(2005).MSC公司:03年3月 第68季度第42季度 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{Y.Matiyasevich}和\textit{G.Sénizergues},Theor。计算。科学。330,第1号,145--169(2005;Zbl 1078.03033) 全文: 内政部
彼得·琼森;安德烈·克罗金 识别约束满足问题中的冻结变量。 (英语) Zbl 1086.68056号 西奥。计算。科学。 329,编号1-3,93-113(2004).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}和\textit{A.Krokhin},Theor。计算。科学。329,编号1--3,93-113(2004;Zbl 1086.68056) 全文: 内政部 链接
沈义东;你,嘉慧;袁丽燕 使用环路切割和制表机制提高全球SLS分辨率。 (英语) Zbl 1071.68019号 西奥。计算。科学。 328,第3271-287号(2004年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}等人,Theor。计算。科学。328,第3号,271--287(2004;Zbl 1071.68019) 全文: 内政部
安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;阿尔贝托,Policriti 三个变量的set-pairing语句。 (英语) Zbl 1058.03028号 西奥。计算。科学。 322,第1期,第147-173页(2004年). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B70号 03E20型 03G15年 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}等人,Theor。计算。科学。322,第1号,147--173(2004;Zbl 1058.03028) 全文: 内政部
汤姆·乔西亚;多米尼克·达根 容错全局计算的抽象。 (英语) Zbl 1071.68010号 西奥。计算。科学。 322,第3期,567-613(2004).MSC公司:68米15 68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Chothia}和\textit{D.Duggan},Theor。计算。科学。322,第3号,567--613(2004;Zbl 1071.68010) 全文: 内政部