×

找到144个文档（结果1-100）

最新的 引文 关联
扎尼斯·阿内夫拉维斯;马修·菲利普;丹尼尔·奈德;保罗·塔布阿达

正确是不够的：使用健壮的线性时序逻辑进行有效验证。 （英语） Zbl 1502.68178号

ACM事务处理。计算。日志。 23，第2条，第8条，第39页（2022年）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.Anevlavis}等人，ACM Trans。计算。日志。23，第2号，第8条，39页（2022年；Zbl 1502.68178）
全文： 内政部 arXiv公司
阿诺·杜兰德;朱哈·科廷宁;尼古拉斯·德·鲁吉-阿尔特黑尔;Väänänen，佐科

团队语义中数据复杂性的可追溯性边界。 （英语） Zbl 1508.68217号

ACM事务处理。计算。日志。 23，第1号，第3条，第21页（2021年）.
MSC公司：60年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand}等人，ACM Trans。计算。日志。23，第1号，第3条，第21页（2021；Zbl 1508.68217）
全文： 内政部 arXiv公司
Christopher H.Broadbent。;Carayol，阿诺;马修·黑格;安德烈·穆拉夫斯基。;C.·H·卢克·翁;奥利维尔·塞雷

可折叠的下推平价游戏。 （英语） Zbl 1502.68180号

ACM事务处理。计算。日志。 22，第3条，第16条，第51页（2021年）.
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{C.H.Broadbent}等人，ACM Trans。计算。日志。22，第3号，第16条，51页（2021；Zbl 1502.68180）
全文： 内政部 arXiv公司 哈尔
加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克

有界展开类的一阶解释。 （英语） Zbl 1446.68094号

ACM事务处理。计算。日志。 21，第4号，第29条，第41页（2020年）.
MSC公司：60年第68季度 03B70号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，ACM Trans。计算。日志。21，第4号，第29条，第41页（2020年；Zbl 1446.68094）
全文： 内政部 arXiv公司 链接
加亚尔斯克，雅库布;彼得·赫林;Obdr zalek，简;丹尼尔·洛克斯塔诺夫;拉马努詹，M.S。

关于稠密图类的FO模型检查的一个新观点。 （英语） Zbl 1446.68093号

ACM事务处理。计算。日志。 21，第4号，第28条，第23页（2020年）.
MSC公司：60年第68季度 03B70号 05C75号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，ACM Trans。计算。日志。21，第4号，第28条，第23页（2020；Zbl 1446.68093）
全文： 内政部 arXiv公司
克劳迪奥·蒙吉;马尔塞洛·贝尔萨尼。;罗西，马蒂奥;Pierluigi San彼得罗

基于时间自动机的模型检验MITL公式。基于逻辑的方法。 （英语） Zbl 1446.68095号

ACM事务处理。计算。日志。 21，第3号，第26条，第44页（2020年）.
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Menghi｝等人，ACM Trans。计算。日志。21，第3号，第26条，第44页（2020年；Zbl 1446.68095）
全文： 内政部
弗雷德里克·赫布雷托;Srivathsan，B。;Tran，Thanh-Tung镇;伊戈尔·瓦卢基维奇

为什么时间自动机的活性很难，以及我们能做些什么。 （英语） Zbl 1446.68068号

ACM事务处理。计算。日志。 21，第3号，第17条，28页（2020年）.
MSC公司：2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Herbreteau}等人，ACM翻译。计算。日志。21，第3号，第17条，第28页（2020年；Zbl 1446.68068）
全文： 内政部 链接
科德·艾克迈耶;van den Heuvel，简;川崎敬一;斯蒂芬·克鲁泽;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;丹尼尔·基罗兹（Daniel A.Quiroz）。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

有序结构的模型检查。 （英语） Zbl 1446.68092号

ACM事务处理。计算。日志。 21，第2号，第11条，28页（2020年）.
MSC公司：60年第68季度 03B70号 05C75号 05C83号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Eickmeyer}等人，《美国医学杂志》。计算。日志。21，第2号，第11条，第28页（2020年；Zbl 1446.68092）
全文： 内政部 arXiv公司
冯世光;克劳迪娅·卡拉佩尔;奥利弗·费尔南德斯·吉尔;卡琳·夸斯

单计数器机器的MTL和TPTL。表达性、模型检查和可满足性。 （英语） Zbl 1433.68215号

ACM事务处理。计算。日志。 21，第2号，第12条，第34页（2020年）.
MSC公司：60年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Feng}等人，ACM Trans。计算。日志。21，第2号，第12条，第34页（2020年；Zbl 1433.68215）
全文： 内政部
黄晓伟;玛尔塔·奎亚特科夫斯卡;马西耶·奥列尼克

随机多智能体系统中认知信任的推理。 （英语） Zbl 1433.68422号

ACM事务处理。计算。日志。 第20条第4款第21条第64页（2019年）.
MSC公司：第68页第27页 03B42号 03B44号 60年第68季度 68T42型 91A60型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{X.Huang}等人，ACM Trans。计算。日志。20，第4号，第21条，64页（2019年；Zbl 1433.68422）
全文： 内政部 arXiv公司 链接
牛，尼尔斯;沃伊切赫·贾姆罗加;马泰·波波维奇

关于战略能力的推理：具有真正完美回忆能力的代理人。 （英语） Zbl 1433.68417号

ACM事务处理。计算。日志。 第20条第2款第10条第46页（2019年）.
MSC公司：第68页第27页 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bulling}等人，《美国医学杂志》。计算。日志。20，第2号，第10条，46页（2019年；Zbl 1433.68417）
全文： 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

时间间隔与时间点逻辑模型检查。表现力比较。 （英语） Zbl 1407.68283号

ACM事务处理。计算。日志。 第20条第1款第4条第31页（2019年）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，ACM Trans。计算。日志。20，第1号，第4条，第31页（2019年；Zbl 1407.68283）
全文： 内政部
易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬

并发量子系统的自动等价性检查。 （英语） Zbl 1407.68276号

ACM事务处理。计算。日志。 第19条第4款第28条第32页（2018年）.
MSC公司：60年第68季度 2012年第68季度 68问题85 81页第45页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{E.Ardeshir-Larijani}等人，ACM Trans。计算。日志。19，第4号，第28条，第32页（2018；Zbl 1407.68276）
全文： 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂亚尼

可满足性的增量线性化和验证模非线性算术和超越函数。 （英语） Zbl 1407.68285号

ACM事务处理。计算。日志。 第19号第3条第19条第52页（2018年）.
MSC公司：60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《美国医学杂志》。计算。日志。19，第3号，第19条，52页（2018；Zbl 1407.68285）
全文： 内政部
陈，胡比;莫里茨·米勒

一个层次衍生出另一个层次，即图解构和联合查询的复杂性分类。 （英语） Zbl 1407.68211号

ACM事务处理。计算。日志。 第18条第4款第29条第37页（2017年）.
MSC公司：65年第68季度 05C60型 05C75号 第68页，共15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}和\textit{M.Muller}，ACM Trans。计算。日志。18，第4号，第29条，第37页（2017；Zbl 1407.68211）
全文： 内政部
兰科·拉齐奇;约尔·瓦克宁;詹姆斯·沃雷尔

芝诺、大力神和九头蛇：安全度量时间逻辑是阿克曼完成的。 （英语） Zbl 1367.68109号

ACM事务处理。计算。日志。 17号第3条第16条第27页（2016年）.
MSC公司：65年第68季度 03B44号 2017年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Lazić}等人，ACM Trans。计算。日志。17，第3号，第16条，第27页（2016；Zbl 1367.68109）
全文： 内政部
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯

卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号

ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.
MSC公司：68问题85 03B70号 07年6月 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210）
全文： 内政部
Biscaia，M。;亨利克斯，D。;马特乌斯，P。

近似Skolem问题的可判定性及其在马尔可夫链动态特性逻辑验证中的应用。 （英语） Zbl 1354.68168号

ACM事务处理。计算。日志。 16，第1号，第4条，第17页（2015年）.
MSC公司：60年第68季度 03B25号 03B44号 2005年11月 60J20型 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Biscaia}等人，《美国医学杂志》。计算。日志。16，第1号，第4条，第17页（2015；Zbl 1354.68168）
全文： 内政部
格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆

并发数据结构线性化能力的完善证明技术。 （英语） Zbl 1354.68066号

ACM事务处理。计算。日志。 第15号第4条第31条第37页（2014年）.
MSC公司：68第05页 60年第68季度 68问题85 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{G.Schellhorn}等人，《美国医学杂志》。计算。日志。第15条第4款第31条第37页（2014年；Zbl 1354.68066）
全文： 内政部 链接
罗伯特·戈德布拉特;马塞尔·杰克逊

结构良好的程序等价性是不可判定的。 （英语） Zbl 1351.68073号

ACM事务处理。计算。日志。 第13号第3条第26条第8页（2012年）.
MSC公司：68号30 03B70号 03天35分 2005年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Goldblatt｝和\textit｛M.Jackson｝，ACM Trans。计算。日志。13，第3号，第26条，第8页（2012；Zbl 1351.68073）
全文： 内政部 arXiv公司
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。

定性并行平价游戏。 （英语） Zbl 1351.68179号

ACM事务处理。计算。日志。 第12号第4条第28条第51页（2011年）.
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。12，第4号，第28条，第51页（2011年；兹bl 1351.68179）
全文： 内政部
迈克尔·鲍兰德;马丁·蒙德亨克;托马斯·施耐德;Henning施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默

LTL模型检查的可处理性：好的、坏的和丑陋的片段。 （英语） 兹比尔1351.68151

ACM事务处理。计算。日志。 第12号第2条第13条第28页（2011年）.
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bauland}等人，ACM Trans。计算。日志。12，第2号，第13条，第28页（2011年；Zbl 1351.68151）
全文： 内政部
斯塔夫罗斯·科斯马达基斯;福斯托科斯、尤金妮;阿纳斯塔西奥斯·西迪罗普洛斯

关于Datalog程序及其持久性数的不确定和难以处理的结果。 （英语） Zbl 1351.68070号

ACM事务处理。计算。日志。 11，第2号，第12条，第29页（2010年）.
MSC公司：68号30 68N17号 第68页，共15页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Cosmadakis}等人，ACM Trans。计算。日志。11，第2号，第12条，第29页（2010年；兹bl 1351.68070）
全文： 内政部
休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库

决定加密协议的安全属性。应用于关键周期。 （英语） Zbl 1351.94035号

ACM事务处理。计算。日志。 11，第2号，第9条，第42页（2010年）.
MSC公司：94A60型 68个M12 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Comon-Lundh}等人，ACM Trans。计算。日志。11，第2号，第9条，第42页（2010年；Zbl 1351.94035）
全文： 内政部 arXiv公司
亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨

基于重写的可满足性过程的新结果。 （英语） Zbl 1367.68243号

ACM事务处理。计算。日志。 10，第1号，第4条，51页（2009年）.
MSC公司：第68页第15页 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Armando}等人，ACM Trans。计算。日志。10，第1号，第4条，51页（2009年；Zbl 1367.68243）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;霍恩，弗洛里安

常规比赛中的最终胜利。 （英语） Zbl 1351.68156号

ACM事务处理。计算。日志。 11，第1号，第1条，第27页（2009年）.
MSC公司：60年第68季度 05第57页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。11，第1号，第1条，第27页（2009年；Zbl 1351.68156）
全文： 内政部

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件