Nathalie Bertrand;雨果·弗兰肯;尼古拉斯·马基 同步下的单词长期贷款约束。 (英语) Zbl 07691951号 信息处理。莱特。 182,文章ID 106392,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《信息处理》。莱特。182,文章ID 106392,7 p.(2023;Zbl 07691951) 全文: DOI程序
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 \(\mathsf{GR}(1)\)等价于\(\mathf{R}(一)\)。 (英语) Zbl 1529.03188号 信息处理。莱特。 179,文章ID 106319,8 p.(2023).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《Inf.过程》。莱特。179,文章ID 106319,8 p.(2023;Zbl 1529.03188) 全文: DOI程序
徐兆伟;张文辉 ACTL公式的线性模板,用于基于SAT的验证。 (英语) Zbl 1409.68176号 信息处理。莱特。 127, 6-16 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}和\textit{W.Zhang},Inf.过程。莱特。127、6--16(2017;Zbl 1409.68176) 全文: DOI程序
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 关于策略逻辑的语义。 (英语) Zbl 1346.68121号 信息处理。莱特。 116,第2期,75-79(2016).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息处理》。莱特。116,第2号,75--79(2016;Zbl 1346.68121) 全文: DOI程序
戴维·巴恩斯;卡洛斯·科特里尼·吉梅内斯;费利克斯·克莱特克;尤根·兹利内斯库 决定TPTL的安全性和活力。 (英语) Zbl 1371.68101号 信息处理。莱特。 114,第12号,680-688(2014).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《Inf.过程》。莱特。114,第12号,680--688(2014;Zbl 1371.68101) 全文: DOI程序
彼得里克·马雷蒂奇(Petric Maretić,Grgur);穆罕默德·托拉比·达什蒂;戴维·巴恩斯 LTL在拓扑闭包下是闭合的。 (英语) Zbl 1296.68097号 信息处理。莱特。 114,第8期,408-413(2014).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Petric Maretić}等人,《Inf.Process》。莱特。114,第8号,408--413(2014;Zbl 1296.68097) 全文: DOI程序
斯文·舍韦 分布式合成是无法确定的。 (英语) 兹比尔1358.68196 信息处理。莱特。 114203-207年第4期(2014年).MSC公司:60年第68季度 03年2月25日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe},信息处理。莱特。114,第4号,203--207(2014;Zbl 1358.68196) 全文: DOI程序
本·莫斯科夫斯基 序列合成时态公式类之间的互连。 (英语) Zbl 1287.03074号 信息处理。莱特。 113,第9期,350-353(2013).MSC公司:03B70号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},Inf.流程。莱特。113,编号9,350-353(2013;Zbl 1287.03074) 全文: DOI程序
Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 关于参数时序逻辑的一些结果。 (英语) Zbl 1260.68201号 信息处理。莱特。 111,第20号,994-998(2011).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《信息处理》。莱特。111,第20号,994--998(2011;Zbl 1260.68201) 全文: DOI程序
德弗朗西斯科,N。;莱蒂埃里,G。;马提尼。;瓦格利尼,G。 通过抽象解释进行部分模型检查。 (英语) Zbl 1206.68196号 信息处理。莱特。 110,第3期,99-103(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.de Francesco}等人,《Inf.过程》。莱特。110,第3号,99-103(2010;Zbl 1206.68196) 全文: DOI程序 链接
田聪;段振华 关于结巴变异PLTL的注释。 (英语) Zbl 1214.03015号 信息处理。莱特。 109,第13号,663-667(2009).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Inf.过程。莱特。109,编号13,663--667(2009;Zbl 1214.03015) 全文: DOI程序
10个Cate,Balder 关于模态逻辑和无星正则表达式的可表达性问题的注记。 (英语) Zbl 1197.03021号 信息处理。莱特。 109,第10号,509-513(2009).MSC公司:03B45号 03年2月25日 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.ten Cate},信息处理。莱特。109,第10号,509--513(2009;Zbl 1197.03021) 全文: DOI程序
吴志林 关于TL[EF]特征的注释。 (英语) Zbl 1184.68334号 信息处理。莱特。 102,编号2-3,48-54(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wu},Inf.过程。莱特。102,编号2-3,48-54(2007年;兹bl 1184.68334) 全文: DOI程序
苏菲·平奇纳特;斯特凡·里德韦格 部分观测条件下控制的一类可判定问题。 (英语) Zbl 1177.93059号 信息处理。莱特。 95,第4期,454-460(2005).MSC公司:93元65角 60年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinchinat}和\textit{S.Riedweg},Inf.过程。莱特。95,第4号,454--460(2005;Zbl 1177.93059) 全文: DOI程序
查特吉,克里什南杜;帕拉布·达斯古普塔;查克拉巴蒂,P.P。 分支和线性时间时序逻辑中一阶量化对状态的影响。 (英语) Zbl 1177.68144号 信息处理。莱特。 91,第5号,201-210(2004).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息处理》。莱特。91,第5号,201--210(2004;Zbl 1177.68144) 全文: DOI程序
詹姆斯·德尔格兰德。;阿文德·古普塔 正在更新\(\leqsleat,<\)-chains。 (英语) Zbl 1338.68051号 信息处理。莱特。 82,第5期,261-268(2002).MSC公司:68第05页 68兰特 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}和\textit{A.Gupta},Inf.过程。莱特。82,第5号,261--268(2002;Zbl 1338.68051) 全文: DOI程序 链接
赵承茂;金贤浩(Kim,Hyung Ho);Cha,Sung Deok;裴斗焕 序列图的语义。 (英语) 兹比尔1042.68072 信息处理。莱特。 84,第3125-130号(2002年).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Cho}等人,《信息处理》。莱特。84,第3号,125--130(2002;Zbl 1042.68072) 全文: DOI程序
肖本斯,P.Y。;G·萨克。;塞尔纳达斯,A。;塞尔纳达斯,C。 用于演进规范的两级时序逻辑。 (英语) Zbl 1043.68069号 信息处理。莱特。 83,第3期,167-172(2002).MSC公司:60年第68季度 03B44号 03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.Schobbens}等人,《Inf.过程》。莱特。83,第3号,167--172(2002;Zbl 1043.68069) 全文: DOI程序
A.C.帕塔克。;巴塔查里亚,I。;A.达斯古普塔。;帕拉布·达斯古普塔;查克拉巴蒂,P.P。 量化计算树逻辑。 (英语) Zbl 1014.68095号 信息处理。莱特。 82,第3期,123-129(2002).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Patthak}等人,《信息处理》。莱特。82,No.3,123--129(2002;Zbl 1014.68095) 全文: DOI程序
库沙·埃特萨米 关于Peled和Wilke关于口吃变异LTL的问题的注释。 (英语) 兹比尔1339.68166 信息处理。莱特。 75,第6261-263号(2000年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami},Inf.流程。莱特。75,第6号,261--263(2000;Zbl 1339.68166) 全文: DOI程序 链接
肖本斯,P.-Y。;J.-F.拉斯金。 “最初”和“下一步”的逻辑:完全公理化和复杂性。 (英语) Zbl 1338.03027号 信息处理。莱特。 69,第5期,221-225(1999).MSC公司:03B44号 03B70号 2017年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.Schobbens}和\textit{J.F.Raskin},Inf.Process。莱特。69,第5号,221--225(1999;Zbl 1338.03027) 全文: DOI程序 链接
拉杰夫·阿鲁尔;多龙·贝利德 偏序逻辑的不确定性。 (英语) Zbl 1338.68165号 信息处理。莱特。 69,第3期,137-143(1999).MSC公司:60年第68季度 03年2月25日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Peled},Inf.过程。莱特。69,第3号,137--143(1999;Zbl 1338.68165) 全文: DOI程序 链接
多龙·贝利德;托马斯·威尔克 不需要下一时间操作符,就可以表达断断续续的时间属性。 (英语) Zbl 1337.68170号 信息处理。莱特。 63,第5期,243-246(1997).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{T.Wilke},信息处理。莱特。63,第5243-246号(1997年;兹bl 1337.68170) 全文: DOI程序
珍妮·卡米尔·比吉特 (上划线{varSigma^*上划线{L}}的状态复杂性及其与时序逻辑的关系。 (英语) Zbl 1410.68197号 信息处理。莱特。 58,第4期,185-188(1996).MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Birget},信息处理。莱特。58,第4号,185--188(1996;Zbl 1410.68197) 全文: DOI程序
拉鲁西尼,F。 关于CTL组合子的表达能力。 (英语) Zbl 0875.68632号 信息处理。莱特。 54,第6期,343-345(1995).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie},Inf.过程。莱特。54,第6号,343--345(1995;Zbl 0875.68632) 全文: DOI程序
安东尼娅·西纳肖波洛斯 标记的预有序和部分有序Kripke结构的逻辑和可判定性。 (英语) Zbl 0814.03023号 信息处理。莱特。 51,第1期,第43-52页(1994年). 审核人:V.Shekhtman(莫斯科) MSC公司:03B70号 03B45号 2010年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sinachopoulos},Inf.流程。莱特。51,编号1,43-52(1994;兹bl 0814.03023) 全文: DOI程序
肯·卡尔弗特 消除的析取导致属性。 (英语) Zbl 0802.68081号 信息处理。莱特。 49,第4期,189-194(1994). 审核人:K.Calvert(亚特兰大) MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Calvert},Inf.过程。莱特。49,第4号,189--194(1994;Zbl 0802.68081) 全文: DOI程序
陈成驰;林一鹏 命题线性时间时序逻辑中时间Horn公式可满足性的计算复杂性。 (英语) Zbl 0796.68116号 信息处理。莱特。 45,第3期,131-136(1993).MSC公司:65年第68季度 68N17号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Chen}和\textit{I-P.Lin},Inf.过程。莱特。45,第3号,131--136(1993;Zbl 0796.68116) 全文: DOI程序
沃伊切赫·彭泽克 关于迹系统上命题时间逻辑的不可判定性。 (英语) Zbl 0771.03006号 信息处理。莱特。 43,第3期,147-153(1992). 审核人:F.V.Burstein(墨尔本) MSC公司:03B45号 2010年第68季度 03年2月25日 03天35分 03B80号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},Inf.过程。莱特。43,第3号,147--153(1992;Zbl 0771.03006) 全文: DOI程序
达姆,麦兹 \分支时间逻辑中的(R)-可生成性和可定义性。 (英语) 兹比尔0766.03009 信息处理。莱特。 第5期第41页,第281-287页(1992年). 审核人:M.大坝 MSC公司:03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dam},Inf.过程。莱特。41,第5号,281--287(1992;Zbl 0766.03009) 全文: DOI程序
周朝晨;C.A.R.霍尔。;安德斯·雷文(Anders P.Ravn)。 持续时间的计算。 (英语) Zbl 0743.68097号 信息处理。莱特。 40,第5期,269-276(1991).MSC公司:60年第68季度 68N99型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}等人,《信息处理》。莱特。40,编号5,269--276(1991;Zbl 0743.68097) 全文: DOI程序
埃里希·格拉德尔 复杂理论中的简单解释。 (英语) Zbl 0712.03006号 信息处理。莱特。 35,第5期,235-238(1990). 审核人:M.K.Val'ev先生 MSC公司:03年2月25日 03B45号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel},信息处理。莱特。35,编号5,235--238(1990;Zbl 0712.03006) 全文: DOI程序
杰拉德·利戈扎特;赫莱内·贝斯托夫 关于区间之间的关系。 (英语) Zbl 0676.68062号 信息处理。莱特。 32,第4期,177-182(1989).MSC公司:68T99型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ligozat}和\textit{H.Bestougeff},Inf.过程。莱特。32,第4号,177--182(1989;Zbl 0676.68062) 全文: DOI程序
艾默生·E·艾伦 一致的必然性是树自动机不可言喻的。 (英语) Zbl 0653.68079号 信息处理。莱特。 24, 77-79 (1987).MSC公司:65年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson},Inf.过程。莱特。24、77——79(1987年;Zbl 0653.68079) 全文: DOI程序
朱明发;Loh,Nan K。;西伊,佩佩 时间逻辑中的最小原始关系集。 (英语) Zbl 0642.03019号 信息处理。莱特。 26, 121-126 (1987). 审核人:J.塞夫拉内克 MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhu}等人,《信息处理》。莱特。26121-126(1987年;Zbl 0642.03019) 全文: DOI程序
安德烈·萨拉斯 一阶时序逻辑的算术公理化。 (英语) Zbl 0642.03018号 信息处理。莱特。 26, 111-116 (1987). 审核人:J.Sefránek先生 MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Szalas},Inf.过程。莱特。26111-116(1987年;兹bl 0642.03018) 全文: DOI程序
迈克尔·菲舍尔。;尼尔·伊梅尔曼 在命题动态逻辑中解释知识逻辑。 (英语) Zbl 0634.03012号 信息处理。莱特。 25, 175-181 (1987). 审核人:J.塞夫拉内克 MSC公司:03B45号 68N25号 68T99型 03B70号 03年2月25日 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{N.Immerman},Inf.过程。莱特。25175--181(1987;Zbl 0634.03012) 全文: DOI程序
范·阮 Misra和Chandy证明系统的不完全性。 (英语) Zbl 0575.68022号 信息处理。莱特。 21, 93-96 (1985).MSC公司:68N25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.Nguyen},Inf.流程。莱特。21,93-96(1985年;Zbl 0575.68022) 全文: DOI程序 链接
路易斯·法里纳斯 空间就是时间。 (英语) Zbl 0526.68035号 信息处理。莱特。 17, 113-115 (1983).MSC公司:68问题65 03B45号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Farinas},Inf.过程。莱特。17、113--115(1983年;Zbl 0526.68035) 全文: DOI程序
拉梅什,S。;Mehndiratta,S.L。 动态垃圾收集器的lifeness属性——一个证明。 (英语) 兹伯利0519.68039 信息处理。莱特。 17, 189-195 (1983).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ramesh}和\textit{S.L.Mehndirata},Inf.过程。莱特。17、189--195(1983年;Zbl 0519.68039) 全文: DOI程序
Hiroya Kawai 离散时间和空间中并行程序的一种形式化系统。 (英语) Zbl 0469.68040号 信息处理。莱特。 11, 204-210 (1980).MSC公司:68问题65 60年第68季度 03B45号 68号01 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},Inf.过程。莱特。11、204-210(1980;Zbl 0469.68040) 全文: DOI程序