×

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

最新的 引文 关联
米拉德·阿加乔哈里；阿夫尼，盖伊；托马斯·亨辛格（Thomas A.Henzinger）。

离散投标无限长博弈中的确定性。 （英语） Zbl 1509.91007号

日志。方法计算。科学。 17，第1号，第10号论文，23页（2021年）.
MSC公司：91A43型 65年第68季度 91A50型
PDF格式BibTeX公司 XML格式引用
\textit{M.Aghajohari}等人，日志。方法计算。科学。17，第1号，第10号论文，23页（2021；Zbl 1509.91007）
全文： arXiv公司 链接
乔治·巴奇；乔瓦尼·巴奇；Larsen，Kim G。；拉杜·马达尔；唐启毅；弗兰克·范·布鲁格尔

计算概率自动机的概率双相似距离。 （英语） Zbl 1509.68181号

日志。方法计算。科学。 17，第1号，第9号文件，第36页（2021）.
MSC公司：68问题85 03B44号 65年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，日志。方法计算。科学。17，第1号，第9号论文，36页（2021；Zbl 1509.68181）
全文： arXiv公司 链接
安德烈亚斯·克雷布斯；卡马尔·洛达亚；帕里托什·K·潘迪亚。；霍华德·斯特劳宾

具有一些中间关系的二元逻辑：表达性、可满足性和隶属度。 （英语） Zbl 07269244号

日志。方法计算。科学。 16，第3号，第16号论文，41页（2020年）.
MSC公司：05年3月 03B20型 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Krebs}等人，《日志》。方法计算。科学。16，第3号，第16号论文，41页（2020；Zbl 07269244）
全文： arXiv公司 链接
大卫·巴兹勒；莫里斯·比克。；罗萨里奥·普格利泽

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

日志。方法计算。科学。 16，第2号，第9号论文，29页（2020年）.
MSC公司：65年第68季度 60年第68季度 68问题85 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{D.Basile}等人，Log。方法计算。科学。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 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《日志》。方法计算。科学。16，第1号，第8号论文，63页（2020年；Zbl 1442.68113）
全文： arXiv公司
艾曼纽·菲利奥特；奥利维·高文；内森·勒霍特

有理转导的逻辑和代数特征。 （英语） Zbl 1440.68173号

日志。方法计算。科学。 15，第4号，第16号论文，42页（2019年）.
审核人：彼得·科斯托拉尼（布拉迪斯拉发）
MSC公司：70年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{E.Filiot}等人，《日志》。方法计算。科学。15，第4号，第16号论文，42页（2019年；Zbl 1440.68173）
全文： arXiv公司
丹尼斯·库珀伯格；阿尼尔班·马朱姆达尔

计算非确定性自动机的宽度。 （英语） Zbl 1440.68157号

日志。方法计算。科学。 15，第4号，第10号论文，第31页（2019年）.
审核人：彼得·科斯托拉尼（布拉迪斯拉发）
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuperberg}和\textit{A.Majumdar}，日志。方法计算。科学。15，第4号，第10号论文，31页（2019年；Zbl 1440.68157）
全文： arXiv公司
Mikołaj博扬奇克；菲利波·卡瓦拉里；托马斯·普莱斯；Micha Skrzypczak

低级Wadge层次结构中的常规树语言。 （英语） Zbl 1509.03144号

日志。方法计算。科学。 15，第3号，第27号论文，61页（2019年）.
MSC公司：2015年3月 05年3月 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{M.Bojańczyk}等人，日志。方法计算。科学。15，第3号，第27号文件，第61页（2019年；Zbl 1509.03144）
全文： arXiv公司
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1442.68086号

日志。方法计算。科学。 15，第3号，第16号论文，45页（2019年）.
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086）
全文： 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.68063号

日志。方法计算。科学。 15，第2号，第6号论文，27页（2019年）.
MSC公司：19年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Karandikar}和\textit{P.Schnoebelen}，日志。方法计算。科学。15，第2号，第6号论文，第27页（2019年；Zbl 1421.68063）
全文： arXiv公司
塞巴斯蒂安·恩奎斯特；维尼马，伊德

选言基础：模态逻辑的范式和模型理论。 （英语） 兹比尔1439.03044

日志。方法计算。科学。 15，第1号，第30号论文，41页（2019年）.
MSC公司：03B45号 03B70号 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Enqvist}和\textit{Y.Venema}，日志。方法计算。科学。15，第1号，第30号论文，41页（2019年；Zbl 1439.03044）
全文： 内政部 arXiv公司
德米特里·奇斯蒂科夫；沃伊切赫，切尔文斯基；彼得·霍夫曼；Micha Pilipczuk；迈克尔·韦哈尔

单计数器系统中的最短路径。 （英语） Zbl 1407.68249号

日志。方法计算。科学。 15，第1号，第19号论文，28页（2019年）.
MSC公司：65年第68季度 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{D.Chistikov}等人，《日志》。方法计算。科学。15，第1号，第19号论文，28页（2019年；Zbl 1407.68249）
全文： arXiv公司
费利克斯·巴斯切尼斯；奥利维·高文；安卡·穆斯科尔；加布里埃尔，小狗

双向文字传感器的单向可定义性。 （英语） Zbl 1404.68065号

日志。方法计算。科学。 14，第4号，第22号论文，54页（2018年）.
MSC公司：65年第68季度 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Baschenis}等人，日志。方法计算。科学。14，第4号，第22号文件，第54页（2018年；Zbl 1404.68065）
全文： 内政部 arXiv公司
Forejt，Vojtěch公司；彼得·扬查尔；斯特凡·基弗；詹姆斯·沃雷尔

概率双相似度的博弈特征及其在下推自动机中的应用。 （英语） Zbl 1407.68252号

日志。方法计算。科学。 14，第4号，第13号论文，25页（2018年）.
MSC公司：65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Forejt}等人，日志。方法计算。科学。14，第4号，第13号论文，25页（2018；Zbl 1407.68252）
全文： 内政部 arXiv公司
保罗·巴尔丹；罗伯托·布鲁尼；安德烈亚·科拉迪尼；法比奥·加杜奇；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：Clément Aubert（奥古斯塔）
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
阿伦斯，贝内迪克特；彼得·勒法努·卢姆斯代恩；弗拉基米尔·沃沃德斯基

单价基础中类型理论的分类结构。 （英语） Zbl 1496.03053号

日志。方法计算。科学。 14，第3号，第18号论文，18页（2018）.
MSC公司：03B38型 03楼50 18 C50 03B70号 55单位40 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，日志。方法计算。科学。14，第3号，第18号论文，18页（2018；Zbl 1496.03053）
全文： 内政部 arXiv公司
克莱门·奥伯特；马克·巴格诺尔

统一和对数空间。 （英语） Zbl 1447.68005号

日志。方法计算。科学。 14，第3号，第6号论文，21页（2018年）.
审核人：吉列尔莫·莫拉莱斯·卢纳（墨西哥城）
MSC公司：2015年第68季度 03楼52 68N17号 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{M.Bagnol}，日志。方法计算。科学。14，第3号，第6号论文，21页（2018；Zbl 1447.68005）
全文： 内政部 arXiv公司
艾克·诺依曼；马丁·佩普；托马斯·斯特里彻

基本量子力学中的可计算性。 （英语） Zbl 1451.18016号

日志。方法计算。科学。 14，第2号，第14号论文，20页（2018年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18 C50 03D78号 81页第10页
PDF格式BibTeX公司 XML格式引用
\textit{E.Neumann}等人，《日志》。方法计算。科学。14，第2号，第14号论文，20页（2018；Zbl 1451.18016）
全文： 内政部 arXiv公司
托马斯·汉尼弗思；安德烈亚斯·马莱蒂；丹尼尔·奎恩海姆

推动加权树自动机。 （英语） Zbl 1390.68394号

日志。方法计算。科学。 14，第1号，第5号论文，16页（2018年）.
审核人：马格努斯·斯坦比（图尔库）
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Hanneforth}等人，日志。方法计算。科学。14，第1号，第5号论文，16页（2018；Zbl 1390.68394）
全文： 内政部 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公司
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；拉斯穆斯·易卜森·延森；奥托普，简

编辑下推自动机的距离。 （英语） Zbl 1440.68152号

日志。方法计算。科学。 13，第3号，第23号论文，23页（2017年）.
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第3号，第23号论文，23页（2017；Zbl 1440.68152）
全文： 内政部 arXiv公司
Jean-Philippe Bernardy；帕特里克·詹森

认证的无上下文解析：在Agda中对Valiant算法进行形式化。 （英语） Zbl 1355.68149号

日志。方法计算。科学。 12，第2号，第6号论文，28页（2016年）.
审核人：Corneliu Bársan（斯诺霍米什）
MSC公司：65年第68季度 68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Bernardy}和\textit{P.Jansson}，Log。方法计算。科学。12，第2号，第6号论文，28页（2016；Zbl 1355.68149）
全文： 内政部 arXiv公司
佛罗伦萨·杰克马尔；卢克·塞古芬；杰雷米·迪米诺

\数据树、数据树自动机和分支向量加法系统上的（\mathsf{FO}^2（<，+1，\sim）\）。 （英语） Zbl 1448.68227号

日志。方法计算。科学。 12，第2号，第3号论文，28页（2016年）.
MSC公司：68第05页 03B70号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Jacquemard}等人，日志。方法计算。科学。12，第2号，第3号论文，28页（2016年；Zbl 1448.68227）
全文： 内政部 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公司
托马斯·普莱斯；卢克·塞古芬

决定树上\（\mathrm{FO}^2（<_{\mathbf{v}}，<_{\ mathbf}h}}）\中的可定义性。 （英语） 兹比尔1448.03025

日志。方法计算。科学。 11，第3号，第5号论文，23页（2015）.
MSC公司：05年3月 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Place}和\textit{L.Segoufin}，日志。方法计算。科学。11，第3号，第5号文件，第23页（2015年；Zbl 1448.03025）
全文： 内政部 arXiv公司
Nathalie Bertrand；帕特里夏·鲍耶；托马斯·布里海耶；昆廷·梅内特；克里斯特尔·拜尔；马库斯·格罗斯尔；马尔金·尤尔金斯基

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

日志。方法计算。科学。 10，第4号，第6号论文，73页（2014年）.
MSC公司：65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，日志。方法计算。科学。10，第4号，第6号论文，73页（2014年；Zbl 1448.68256）
全文： 内政部 arXiv公司
古克，丹尼斯；哈桑·哈特菲；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；马克·蒂默

马尔可夫自动机的时间和长期目标分析。 （英语） Zbl 1342.68135号

日志。方法计算。科学。 10，第3号，第17号论文，29页（2014）.
MSC公司：第68季度10 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Guck}等人，Log。方法计算。科学。10，第3号，第17号论文，29页（2014；Zbl 1342.68135）
全文： 内政部 arXiv公司

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件