×

找到253份文件（结果1-100）

最新的 引文 关联
约翰·费恩利;马丁·盖林;马蒂亚斯·姆尼奇;拉胡尔·萨瓦尼

可达性切换游戏。 （英语） Zbl 1499.68200号

日志。方法计算。科学。 17，第2号，第10号论文，29页（2021年）.
MSC公司：60年第68季度 60J20型 2009年第68季度 2010年第68季度 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，Log。方法计算。科学。17，第2号，第10号论文，第29页（2021年；Zbl 1499.68200）
全文： arXiv公司 链接
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴

两层可达博弈的顽固集约简。 （英语） Zbl 1501.68002号

日志。方法计算。科学。 17，第1号，第21号论文，第26页（2021年）.
审核人：马可·贝尼尼（科莫）
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，日志。方法计算。科学。17，第1号，第21号论文，第26页（2021；Zbl 1501.68002）
全文： arXiv公司 链接
Basile，大卫;ter Beek，Maurice H。;罗萨里奥·普格利泽

编配和舞蹈的综合：弥合监督控制和服务协调之间的差距。 （英语） Zbl 1528.68173号

日志。方法计算。科学。 16，第2号，第9号论文，29页（2020年）.
MSC公司：65年第68季度 60年第68季度 68问题85 93元65角
PDF格式BibTeX公司 XML格式引用
\textit｛D.Basile｝等人，日志。方法计算。科学。16，第2号，第9号论文，29页（2020年；Zbl 1528.68173）
全文： arXiv公司 链接
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德

高效且模块化的余代数划分细化。 （英语） Zbl 1442.68113号

日志。方法计算。科学。 16，第1号，第8号论文，63页（2020年）.
MSC公司：68问题65 60J22型 65年第68季度 68问题85 第68季度87 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《日志》。方法计算。科学。16，第1号，第8号论文，63页（2020年；Zbl 1442.68113）
全文： arXiv公司
杜珊·克诺普;马丁·库特克;托马斯·马萨尼克;托马斯·图法尔

MSO以外的简化算法元定理：树宽和邻域多样性。 （英语） Zbl 1427.68125号

日志。方法计算。科学。 15，第4号，第12号论文，32页（2019年）.
MSC公司：65年第68季度 03B16号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Knop}等人，日志。方法计算。科学。15，第4号，第12号论文，32页（2019年；Zbl 1427.68125）
全文： arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） 兹比尔1442.68119

日志。方法计算。科学。 15，第4号，第2号论文，46页（2019年）.
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Log。方法计算。科学。15，第4号，第2号论文，46页（2019年；Zbl 1442.68119）
全文： arXiv公司
约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利·萨吉夫;沙龙·肖姆

用于检查归纳不变量的有界量词实例化。 （英语） Zbl 1509.68162号

日志。方法计算。科学。 15，第3号，第18号论文，47页（2019年）.
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Y.Feldman}等人，《日志》。方法计算。科学。15，第3号，第18号论文，47页（2019年；Zbl 1509.68162）
全文： arXiv公司
Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金伯特;阿德韦特·阿米特·戈博莱

控制人口。 （英语） Zbl 1437.68176号

日志。方法计算。科学。 15，第3号，第7号论文，30页（2019年）.
MSC公司：68T42型 2017年第68季度 65年第68季度 60年第68季度 68问题85 91A80型 93甲16
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，日志。方法计算。科学。15，第3号，第7号论文，30页（2019年；Zbl 1437.68176）
全文： arXiv公司
萨米尔·达塔;阿尼什·穆克吉;托马斯·施温蒂克;涡流计，尼尔斯;托马斯·泽姆

动态程序的策略：重新开始并应付过去。 （英语） Zbl 1421.68014号

日志。方法计算。科学。 15，第2号，第12号论文，第26页（2019年）.
MSC公司：68号30 03B70号 第68页，共15页 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Datta}等人，日志。方法计算。科学。15，第2号，第12号论文，第26页（2019年；Zbl 1421.68014）
全文： arXiv公司
安德烈·谢夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;⑩erbnuṭ呃，Traian Florin

全通可达性逻辑。 （英语） 兹比尔1421.68015

日志。方法计算。科学。 15，第2号，第5号论文，23页（2019年）.
MSC公司：68号30 03B70号 68甲19 68问题55 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.ötefnescu}等人，《日志》。方法计算。科学。15，第2号，第5号论文，23页（2019年；Zbl 1421.68015）
全文： arXiv公司
川崎朝田;小林直树;龙马Sin'ya;津田，武士

几乎每一个简单类型的\（\lambda\）-项都有一个长的\（\beta\）-归约序列。 （英语） Zbl 1486.68031号

日志。方法计算。科学。 15，第1号，第16号论文，57页（2019年）.
MSC公司：68甲18 03B40型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Asada}等人，日志。方法计算。科学。15，第1号，第16号论文，57页（2019年；Zbl 1486.68031）
全文： arXiv公司
罗伯特·加尼安;彼得·赫林;雅罗斯拉夫·内舍特伊尔;Obdr zalek，简;帕特丽斯·奥斯纳·德门德斯

灌木深度：捕捉密集图形的高度。 （英语） Zbl 1515.03150号

日志。方法计算。科学。 15，第1号，第7号论文，第25页（2019年）.
MSC公司：03立方厘米13 05C75号 03B16号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛R.Ganian｝等人，日志。方法计算。科学。15，第1号，第7号论文，25页（2019年；Zbl 1515.03150）
全文： arXiv公司
安东尼娅·莱切纳;理查德·迈尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔

模型检查平面冻结单计数器自动机上的LTL。 （英语） Zbl 1405.68187号

日志。方法计算。科学。 14，第4号，第20号论文，21页（2018年）.
MSC公司：60年第68季度 03B25号 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Lechner}等人，日志。方法计算。科学。14，第4号，第20号论文，21页（2018；Zbl 1405.68187）
全文： 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Ngo、Tuan Phong

用于总存储顺序的加载缓冲语义。 （英语） Zbl 1459.68038号

日志。方法计算。科学。 14，第1号，第9号论文，46页（2018年）.
MSC公司：68号30 68甲19 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，日志。方法计算。科学。14，第1号，第9号论文，46页（2018；Zbl 1459.68038）
全文： 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;卡西拉斯、斯特凡诺斯;卡尔·莱昂纳多森;阿尔贝托·罗斯;朱云云

用自我失效和自我降级来修补篱笆。 （英语） Zbl 1459.68039号

日志。方法计算。科学。 14，第1号，第6号论文，33页（2018年）.
MSC公司：68号30 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，日志。方法计算。科学。14，第1号，第6号论文，33页（2018；Zbl 1459.68039）
全文： 内政部 arXiv公司
亚历山大·韦内特;马丁·齐默尔曼

容易取胜，难掌握：有成本的平价游戏中的最佳策略。 （英语） 兹比尔1401.68128

日志。方法计算。科学。 13，第3号，第29号论文，42页（2017年）.
MSC公司：65年第68季度 2017年第68季度 60年第68季度 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{A.Weinert}和\textit{M.Zimmermann}，Log。方法计算。科学。13，第3号，第29号论文，42页（2017；Zbl 1401.68128）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进了奇偶性和Streett目标的算法。 （英语） Zbl 1459.68117号

日志。方法计算。科学。 13，第3号，第26号论文，27页（2017年）.
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第3号，第26号论文，27页（2017；Zbl 1459.68117）
全文： 内政部 arXiv公司
法比奥·莫加维罗;穆拉诺，阿尼洛;朱塞佩·佩雷利;莫舍·瓦尔迪。

策略推理：关于可满足性问题。 （英语） Zbl 1448.68312号

日志。方法计算。科学。 13，第1号，第9号论文，37页（2017年）.
MSC公司：60年第68季度 03B44号 03B70号 2017年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}等人，日志。方法计算。科学。13，第1号，第9号论文，37页（2017；Zbl 1448.68312）
全文： 内政部 arXiv公司
瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯;吉田、Nobuko

具有有界和无界递归的协作过程的类型检查活性。 （英语） Zbl 1448.68338号

日志。方法计算。科学。 12，第1期，第1号论文，38页（2016）.
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Debois｝等人，日志。方法计算。科学。12，第1期，第1号论文，38页（2016年；Zbl 1448.68338）
全文： 内政部 arXiv公司
罗伯特·加尼安;彼得·赫林尼;丹尼尔·科拉尔;Obdr zalek，简;贾雷特·施瓦茨;雅库布·特斯卡

区间图的FO模型检查。 （英语） Zbl 1448.68299号

日志。方法计算。科学。 11，第4号，第11号论文，20页（2015）.
MSC公司：60年第68季度 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛R.Ganian｝等人，日志。方法计算。科学。11，第4号，第11号论文，20页（2015；Zbl 1448.68299）
全文： 内政部
加亚尔斯克，雅库布;彼得·赫林;Obdr zalek，简;塞巴斯蒂安·奥德尼亚克

更快的偏序集存在FO模型检查。 （英语） Zbl 1448.68298号

日志。方法计算。科学。 11，第4号，第8号论文，13页（2015）.
MSC公司：60年第68季度 03B70号 06年06月06日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，日志。方法计算。科学。11，第4号，第8号论文，13页（2015；Zbl 1448.68298）
全文： 内政部
马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔

使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 （英语） Zbl 1448.68289号

日志。方法计算。科学。 11，第4期，第4号论文，33页（2015年）.
MSC公司：60年第68季度 03B42号 03B44号 68米15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozzano}等人，日志。方法计算。科学。11，第4期，第4号论文，33页（2015；Zbl 1448.68289）
全文： 内政部 arXiv公司
阿塞特夫·诺艾，勒克雷米奥拉;苏哈·本·拉亚纳;萨德克·本萨勒姆;马吕斯·博兹加;雅克·康巴兹

基于自动不变量生成的定时系统组合验证。 （英语） Zbl 1448.68216号

日志。方法计算。科学。 11，第3号，第15号论文，27页（2015）.
MSC公司：68号30 64岁以下 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aštefnoaei}等人，《日志》。方法计算。科学。11，第3号，第15号论文，27页（2015；Zbl 1448.68216）
全文： 内政部 arXiv公司
克劳斯·阿格博士;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛

概率系统的允许控制器综合。 （英语） Zbl 1391.68076号

日志。方法计算。科学。 11，第2号，第16号文件，第34页（2015年）.
MSC公司：60年第68季度 65年第68季度 91A15型 93亿B50 93E03型
PDF格式BibTeX公司 XML格式引用
\textit{K.Dräger}等人，日志。方法计算。科学。11，第2号，第16号论文，34页（2015；Zbl 1391.68076）
全文： 内政部 arXiv公司
加亚尔斯克，雅库布;彼得·赫林

对固定高度树的MSO属性进行核化，以及一些结果。 （英语） Zbl 1392.03022号

日志。方法计算。科学。 11，第1号，第19号论文，26页（2015）.
MSC公司：03B25号 03B15号机组 05年3月 05二氧化碳 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskě}和\textit{P.Hlin \283,n \283]，Log。方法计算。科学。11，第1号，第19号论文，26页（2015；Zbl 1392.03022）
全文： 内政部 arXiv公司
阿夫申·阿米吉;克里斯蒂安·哈克;玛丽克·赫斯曼;克莱门·赫林

多线程Java程序的基于许可的分离逻辑。 （英语） Zbl 1448.68215号

日志。方法计算。科学。 11，第1号，第2号论文，66页（2015）.
MSC公司：68号30 03B70号 68甲15 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Amighi}等人，日志。方法计算。科学。11，第1号，第2号论文，66页（2015；Zbl 1448.68215）
全文： 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;洛伦佐·克莱门特;理查德·迈尔;斯文·桑德伯格

有耗信道系统上的随机奇偶博弈。 （英语） Zbl 1448.68282号

日志。方法计算。科学。 10，第4号，第21号论文，21页（2014）.
MSC公司：60年第68季度 第68季度87 91A15型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，日志。方法计算。科学。10，第4号，第21号论文，21页（2014；Zbl 1448.68282）
全文： 内政部
Nathalie Bertrand;帕特里夏·布耶;托马斯·布里海耶;昆廷·梅内特;拜尔，克里斯特尔;马库斯·格罗斯尔;马尔金·尤尔金斯基

随机时间自动机。 （英语） Zbl 1448.68256号

日志。方法计算。科学。 10，第4号，第6号论文，73页（2014年）.
MSC公司：65年第68季度 60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，日志。方法计算。科学。10，第4号，第6号文件，73页（2014年；兹bl 1448.68256）
全文： 内政部 arXiv公司

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件