×

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

最新的 引文 关联
哈维尔·埃斯帕尔扎；迈克尔·布隆丁

自动机理论。算法方法。 （英语） Zbl 07770922号

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-04863-7/hbk；978-0-2262-37693-8/电子书）。xii，532页。，开放存取（2023年）。
审核人：Ioan Tomescu（布库雷什蒂）
MSC公司：68-02 68-01 68第05页 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{M.Blondin}，自动机理论。算法方法。马萨诸塞州剑桥：麻省理工学院出版社（2023；Zbl 07770922）
全文： 链接
米哈伊尔·斯塔斯塔克。

关于带加法和位最小值的存在算术。 （英语） Zbl 07770337号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 176-195 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Starchak}，莱克特。票据计算。科学。13992、176--195（2023；Zbl 07770337）
全文： 内政部
斯文·齐亚德克；乌里·法伦贝格；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）

能源Büchi问题。 （英语） Zbl 1529.68138号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 222-239 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dziadek}等人，莱克特。票据计算。科学。14000，222--239（2023；Zbl 1529.68138）
全文： 内政部 arXiv公司
乔治·阿赞；安托万·吉拉德；保罗·梅森；卢卡·格雷科

具有（ω）-正则切换序列的离散时间切换线性系统的稳定性。 （英语） Zbl 07807721号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第13号论文，第7页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Aazan}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。论文编号13，第7页（2022；Zbl 07807721）
全文： 内政部 哈尔
达纳·安格鲁因；蒂莫斯·安东尼奥普洛斯；达纳·菲斯曼；内文·乔治

使用mod 2多重自动机表示无限单词的正则语言。 （英语） Zbl 07793020号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13242, 1-20 (2022).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛D.Angluin｝等人，Lect。票据计算。科学。13242，1--20（2022；Zbl 07793020）
全文： 内政部
巴德·阿布·拉迪；奥尔纳库普弗曼

生命语言自动机的最小化。 （英语） Zbl 1522.68259号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 191-207 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Abu Radi｝和\textit｛O.Kupferman｝，Lect。票据计算。科学。13505，191--207（2022；Zbl 1522.68259）
全文： 内政部
Tsay，Yih-Kuen先生；莫舍·瓦尔迪。

从线性时序逻辑到Büchi自动机：早期和简单的原理。 （英语） Zbl 1522.68287号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13030, 8-40 (2022).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.-K.Tsay}和\textit{M.Y.Vardi}，莱克特。票据计算。科学。13030，8--40（2022；Zbl 1522.68287）
全文： 内政部
奥尔德罗格，恩斯特·吕迪格；伯恩哈德·斯特芬；易、王

模型检查、综合和学习。 （英语） Zbl 1522.68339号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13030, 1-7 (2022).
MSC公司：60年第68季度 68问题32 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}等人，Lect。票据计算。科学。13030，1--7（2022；Zbl 1522.68339）
全文： 内政部
基韦利多佛里；皮埃尔·甘蒂；尼古拉斯·马佐奇

基于FORQ的语言包含形式测试。 （英语） Zbl 1514.68098号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。13372, 109-129 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Doveri}等人，Lect。票据计算。科学。13372、109--129（2022年；Zbl 1514.68098）
全文： 内政部 arXiv公司
基韦利多佛里；皮埃尔·甘蒂；弗朗西斯科·帕罗里尼；弗朗西斯科·兰扎托

基于良好拟序的Büchi自动机包含性检验。 （英语） Zbl 07730605号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第3条，第22页（2021）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Doveri}等人，LIPIcs——莱布尼茨国际程序。通知。203，第3条，22 p.（2021；Zbl 07730605）
全文： 内政部
沃伊特·哈夫勒纳；Ondřej Lengál

降低（到）等级：基于等级的高效Büchi自动机互补。 （英语） Zbl 07730604号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第2条，第19页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Havelena}和\textit{O.Lengál}，LIPIcs--Leibniz Int.Proc。通知。203，第2条，第19页（2021；Zbl 07730604）
全文： 内政部
格纳滕科，A.R。；扎哈罗夫，V.A。

关于线性时间-时间逻辑的一个参数化扩展的可满足性和模型检验。 （俄语。英文摘要） Zbl 1517.68237号

模型。分析。Inf.姐妹。 28，第4号，356-371（2021）.
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Gnatenko}和\textit{V.A.Zakharov}，模型。分析。Inf.姐妹。28，编号4，356-371（2021；兹bl 1517.68237）
全文： 内政部 MNR公司
达纳·安格鲁因；蒂莫斯·安东尼奥普洛斯；达纳·菲斯曼

强明确的Büchi自动机在成员查询中是多项式可预测的。 （英语） Zbl 07650821号

Fernández，Maribel（ed.）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152，第8条，第17页（2020）。
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Angluin}等人，LIPIcs——莱布尼茨国际程序。通知。152，第8条，第17页（2020；Zbl 07650821）
全文： 内政部
奥尔纳库普弗曼；奥费尔·莱斯科维茨

关于重复语言。 （英语） Zbl 07559430号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第59条，第14页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{O.Leshkowitz}，LIPIcs——莱布尼茨国际程序。通知。170，第59条，第14页（2020；Zbl 07559430）
全文： 内政部
普什巴克·贾格塔普；阿布杜拉·斯威基尔；马吉德·扎马尼

互联控制系统的控制屏障功能的组成结构。 （英语） Zbl 07300863号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第22条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Jagtap}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第22条，第11页（2020；Zbl 07300863）
全文： 内政部 arXiv公司
约斯特·恩格尔弗里特；福格勒、海科

具有MSO图存储的自动机的Büchi-Elgot-Trakhtenbrot定理。 （英语） Zbl 1477.68151号

离散数学。西奥。计算。科学。 22，第4号，第3号论文，48页（2020年）.
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}和\textit{H.Vogler}，离散数学。西奥。计算。科学。22，第4号，第3号论文，48页（2020年；Zbl 1477.68151）
全文： 内政部 arXiv公司 链接
克里斯托夫·Löding；安东·皮罗戈夫

概率Büchi自动机中的模糊性、弱点和规律性。 （英语） Zbl 07250955号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 522-541 (2020).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Löding}和\textit{A.Pirogov}，莱克特。票据计算。科学。12077、522--541（2020；Zbl 07250955）
全文： 内政部 arXiv公司
克里斯托夫·哈斯

用有限状态自动机探讨算术理论。 （英语） 兹比尔1484.03122

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。第14届国际会议，2020年3月4日至6日，意大利米兰，LATA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12038, 33-43 (2020).
MSC公司：30楼03号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{C.Haase}，莱克特。票据计算。科学。12038，33-43（2020；Zbl 1484.03122）
全文： 内政部
戈尔曼，亚历克西街区；菲利普·海罗尼米；埃利奥特·卡普兰；孟若愚；埃里克·沃尔斯伯格；王子和；熊子琴；杨洪如

连续的常规功能。 （英语） Zbl 1528.03188号

日志。方法计算。科学。 16，第1号，第17号论文，24页（2020年）.
MSC公司：03D78号 05年3月 26甲16
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Gorman}等人，日志。方法计算。科学。16，第1号，第17号论文，24页（2020；Zbl 1528.03188）
全文： arXiv公司
劳雷·达沃；马尔钦·尤尔季安斯基；卡洛利纳，莱蒂宁

通用树的交替弱自动机。 （英语） Zbl 07649926号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第18条，第14页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Daviaud}等人，LIPIcs——莱布尼茨国际程序。通知。140，第18条，第14页（2019年；Zbl 07649926）
全文： 内政部 arXiv公司
克里斯托夫·Löding；安东·皮罗戈夫

Büchi自动机的确定：统一了Safra和Muller-Schupp的方法。 （英语） Zbl 07561613号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第120条，第13页（2019年）。
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Löding}和\textit{A.Pirogov}，LIPIcs——莱布尼茨国际程序。通知。132，第120条，第13页（2019；兹bl 07561613）
全文： 内政部 arXiv公司
阿布·拉迪·巴德；奥尔纳库普弗曼

最小化基于GFG转换的自动机。 （英语） Zbl 1527.68120号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第100条，第16页（2019年）。
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Abu}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。132，第100条，第16页（2019年；Zbl 1527.68120）
全文： 内政部
克里斯托夫·Löding；安东·皮罗戈夫

确定Büchi自动机的新优化和启发式方法。 （英语） Zbl 1437.68101号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11781, 317-333 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Löding}和\textit{A.Pirogov}，莱克特。票据计算。科学。11781317--333（2019年；Zbl 1437.68101）
全文： 内政部 arXiv公司
丹尼斯·库珀伯格；劳雷琳·皮诺；Damien Pous

Büchi自动机的共导算法。 （英语） Zbl 1497.68271号

Hofman，Piotrek（编辑）等人，《语言理论的发展》。第23届国际会议，DLT 2019，波兰华沙，2019年8月5-9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11647, 206-220 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuperberg}等人，Lect。票据计算。科学。11647、206-220（2019年；Zbl 1497.68271）
全文： 内政部 哈尔
Leszek，Kołodziejczyk；米查勒夫斯基（Michalewski）、亨利克（Henryk）；皮埃尔·普拉迪奇；Micha Skrzypczak

Büchi可判定性定理的逻辑强度。 （英语） 兹比尔1509.03120

日志。方法计算。科学。 15，第2号，第16号论文，31页（2019年）.
MSC公司：05年3月 03B25号 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{L.Kołodziejczyk}等人，日志。方法计算。科学。15，第2号，第16号文件，第31页（2019年；兹bl 1509.03120）
全文： arXiv公司
马克·巴格诺尔；丹尼斯·库珀伯格

Büchi good for-games自动机可以有效识别。 （英语） Zbl 1528.68171号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第16条，第14页（2018年）。
MSC公司：65年第68季度 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bagnol}和\textit{D.Kuperberg}，LIPIcs——莱布尼茨国际程序。通知。122，第16条，第14页（2018；Zbl 1528.68171）
全文： 内政部
托马斯·布伦戈斯

对于具有内部运动的系统，联合大脑采取规则和（ω）-规则行为。 （英语） Zbl 1520.68054号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第25条，第18页（2018年）。
MSC公司：65年第68季度 18立方厘米 18 C50 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brengos}，LIPIcs——莱布尼茨国际程序。通知。118，第25条，第18页（2018；Zbl 1520.68054）
全文： 内政部
Joel D.Allred。；乌尔里希，乌尔里希

一种简单且最优的Büchi自动机补码算法。 （英语） Zbl 1497.68246号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。46-55（2018年）。
MSC公司：65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Allred}和\textit{U.Ultes-Nitsche}，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。46-55（2018年；Zbl 1497.68246）
全文： 内政部
亚历山大·拉比诺维奇

有限二义Büchi自动机的互补。 （英语） Zbl 1457.68148号

Hoshi，Mizuho（编辑）等，《语言理论的发展》。第22届国际会议，2018年DLT，日本东京，2018年9月10日至14日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11088, 541-552 (2018).
审核人：路德维希·斯泰格（哈雷）
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Rabinovich}，莱克特。票据计算。科学。11088、541--552（2018；Zbl 1457.68148）
全文： 内政部
克里斯托夫·Löding；安东·皮罗戈夫

关于有限二义Büchi自动机。 （英语） Zbl 1517.68206号

Hoshi，Mizuho（编辑）等，《语言理论的发展》。第22届国际会议，2018年DLT，日本东京，2018年9月10日至14日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11088, 503-515 (2018).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Löding}和\textit{A.Pirogov}，莱克特。票据计算。科学。11088503-515（2018年；兹比尔1517.68206）
全文： 内政部 arXiv公司
李勇；陈玉芳；张丽君；刘德鹏

一种新的基于DFA族和分类树的Büchi自动机学习算法。 （英语） Zbl 1453.68098号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。10205, 208-226 (2017).
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。票据计算。科学。10205208-226（2017；Zbl 1453.68098）
全文： 内政部 arXiv公司
奥利维尔·卡尔顿；奥利维·芬克尔；多米尼克·勒科姆

与自动机相关的一些拓扑的抛光性。 （英语） Zbl 1434.03100号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第22条，第16页（2017年）。
MSC公司：05年3月 03E15年 03日第10天 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Carton}等人，LIPIcs——莱布尼茨国际程序。通知。82，第22条，第16页（2017年；Zbl 1434.03100）
全文： 内政部
张晓明；段振华；田聪

PPTL_SPIN：基于SPIN的命题投影时态逻辑模型检查器。 （英语） Zbl 1461.68124号

刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9559, 195-205 (2016).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Zhang}等人，Lect。票据计算。科学。9559195-205（2016；Zbl 1461.68124）
全文： 内政部
田聪；宋军；段振华；段，赵

LtlNfBa公司：使LTL翻译更实用。 （英语） Zbl 1461.68121号

刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9559, 179-194 (2016).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}等人，Lect。票据计算。科学。9559179--194（2016；Zbl 1461.68121）
全文： 内政部
丹尼尔·豪斯曼；卢茨施罗德；克里斯托夫·艾格

无交互\（\mu\）-演算的全局缓存。 （英语） Zbl 1392.68301号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第34条，第15页（2016）。
MSC公司：68问题85 03B44号 03B45 03G30型 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛D.Hausmann｝等人，LIPIcs——莱布尼茨国际期刊。通知。59，第34条，第15页（2016年；Zbl 1392.68301）
全文： 内政部 arXiv公司
Natsuki Urabe；清水、顺介；一郎·哈索

Büchi和奇偶自动机的协代数跟踪语义。 （英语） Zbl 1392.68271号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议59，Article 24，15 p.（2016）。
MSC公司：70年第68季度 18B20型 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{N.Urabe}等人，LIPIcs——莱布尼茨国际程序。通知。59，第24条，第15页（2016；Zbl 1392.68271）
全文： 内政部 arXiv公司
Leszek Aleksander的Kolodziejczyk；米查勒夫斯基（Michalewski）、亨利克（Henryk）；皮埃尔·普拉迪奇；米查尔·斯科齐普扎克

Büchi可判定性定理的逻辑强度。 （英语） Zbl 1370.03058号

Regnier，Laurent（编辑）等人，2016年8月29日至9月1日，法国马赛CSL’16，第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-022-4）。LIPIcs–莱布尼茨国际信息学学报62，第36条，第16页。(2016).
MSC公司：05年3月 03B25号 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Kolodziejczyk}等人，LIPIcs——莱布尼茨国际程序。通知。62，第36条，第16页（2016；Zbl 1370.03058）
全文： 内政部
北卡罗来纳州科尔内瓦。

通过Buchi超词自动转换前缀可判定和可判定。 （英语。俄文原件） Zbl 1420.68108号

俄罗斯数学。 60，第7号，47-55（2016）; 翻译自Izv。维什。乌切布。扎韦德。，材料2016，第7号，55-65（2016）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.N.Korneeva}，俄罗斯数学。60，第7号，47-55（2016；Zbl 1420.68108）；翻译自Izv。维什。乌切布。扎韦德。，材料2016，编号7，55-65（2016）
全文： 内政部
达纳·菲斯曼；尤德·卢斯蒂格

Büchi确定的模块化方法。 （英语） Zbl 1374.68258号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42368-382（2015）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Fisman}和\textit{Y.Lustig}，LIPIcs——莱布尼茨国际程序。通知。42368--382（2015年；Zbl 1374.68258）
全文： 内政部
卢卡斯·弗莱舍；曼弗雷德·库夫莱特纳

欧米伽正则语言上形态的有效算法。 （英语） Zbl 1366.68192号

Harsha，Prahladh（编辑）等人，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015，印度班加罗尔，2015年12月16-18日。诉讼程序。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-97-2）。LIPIcs–莱布尼茨国际信息学论文集45，112-124（2015）。
MSC公司：70年第68季度 05年3月 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{L.Fleischer}和\textit{M.Kufleitner}，LIPIcs——莱布尼茨国际程序。通知。45112-124（2015年；Zbl 1366.68192）
全文： 内政部 arXiv公司
维塔利·佩雷沃什奇科夫

权重分配逻辑。 （英语） Zbl 1434.03087号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9168, 413-425 (2015).
MSC公司：03B70号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Perevoshchikov}，莱克特。票据计算。科学。9168、413--425（2015年；Zbl 1434.03087）
全文： 内政部 arXiv公司
奥利维·芬克尔

不完全性定理、大基数和无限单词上的自动机。 （英语） Zbl 1440.03056号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。票据计算。科学。9135, 222-233 (2015).
MSC公司：05年3月 03E15年 03E35号 03E55型
PDF格式BibTeX公司 XML格式引用
\textit{O.Finkel}，莱克特。票据计算。科学。9135、222--233（2015年；Zbl 1440.03056）
全文： 内政部 哈尔
曼弗雷德·德罗斯特；斯特凡·杜克

图上的加权自动机和逻辑。 （英语） 兹比尔1465.68140

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。2015年8月24日至28日，第40届国际研讨会，MFCS 2015，意大利米兰。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。9234, 192-204 (2015).
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}和\textit{S.Duck}，莱克特。票据计算。科学。9234，192--204（2015；Zbl 1465.68140）
全文： 内政部
理查德·迈尔；洛伦佐·克莱门特

高级自动机最小化。 （英语） Zbl 1301.68171号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。63-74 (2013).
MSC公司：65年第68季度 2015年第68季度 2017年第68季度 68周05 68周25
PDF格式BibTeX公司 XML格式引用
\textit{R.Mayr}和\textit{L.Clemente}，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，2013年1月23日至25日，意大利罗马，POPL'13。纽约州纽约市：计算机协会（ACM）。63-74（2013；Zbl 1301.68171）
全文： 内政部 arXiv公司
埃琳·曼德拉利；乔治·拉霍尼斯

半环上加权一阶逻辑的特征。 （英语） Zbl 1398.68321号

Muntean，Traian（编辑）等人，代数信息学。2013年9月3日至6日，第五届国际会议，CAI 2013，法国Porquerolles。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40662-1/pbk）。《计算机科学讲义》8080247-259（2013）。
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{E.Mandrali}和\textit{G.Rahonis}，莱克特。票据计算。科学。8080247--259（2013；Zbl 1398.68321）
全文： 内政部
田聪；段振华；杨梦飞

将Büchi自动机确定为分区自动机。 （英语） Zbl 1381.68136号

杜定珠（编辑）等，《计算与组合学》。2013年6月21日至23日，第19届国际会议，COCOON 2013，中国杭州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38767-8/pbk）。计算机科学课堂讲稿7936，158-168（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}等人，Lect。票据计算。科学。7936、158--168（2013年；Zbl 1381.68136）
全文： 内政部
塞斯·福格蒂。；奥尔纳库普弗曼；托马斯·威尔克；莫舍·瓦尔迪。

统一Büchi互补结构。 （英语） Zbl 1274.68158号

日志。方法计算。科学。 9，第1号，第14号论文，26页（2013）.
审核人：罗杰·维尔梅尔（蒙特勒）
MSC公司：65年第68季度 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Fogarty}等人，Log。方法计算。科学。9，第1号，第14号论文，26页（2013；Zbl 1274.68158）
全文： 内政部
克里希南德·查特吉；劳伦特·多恩

部分观察随机博弈：信念失败时如何取胜。 （英语） Zbl 1362.91008号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。175-184 (2012).
MSC公司：91A15型 2017年第68季度 65年第68季度 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝和\textit｛L.Doyen｝，载于：2012年第27届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。175-184（2012年；Zbl 1362.91008）
全文： 内政部 arXiv公司
吴志林

交换数据自动机。 （英语） Zbl 1252.68186号

Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学论文集16，528-542，仅电子版（2012）。
MSC公司：65年第68季度 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Wu}，LIPIcs——莱布尼茨国际程序。通知。16528-542（2012；Zbl 1252.68186）
全文： 内政部
Kryvyi，S.L。

信息技术中的有限状态自动机。 （英语。俄文原件） Zbl 1358.68216号

赛博。系统。分析。 47，第5期，669-683（2011）; 翻译自Kibern。修女。分析。2011年，第5期，3-20（2011）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{S.L.Kryvyi}，Cybern。系统。分析。47，No.5，669--683（2011；Zbl 1358.68216）；翻译自Kibern。修女。分析。2011年第5号、第3--20号（2011）
全文： 内政部
塞斯·福格蒂；奥尔纳库普弗曼；莫舍·瓦尔迪。；托马斯·威尔克

统一Büchi互补结构。 （英语） Zbl 1247.68136号

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，248-263，仅电子版（2011年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Fogarty}等人，LIPIcs——莱布尼茨国际程序。通知。12、248--263（2011；Zbl 1247.68136）
全文： 内政部 arXiv公司 链接
帕特里夏·鲍耶；罗曼·布伦吉尔；尼古拉斯·马基；米歇尔·乌梅尔斯

具有Büchi目标的并发博弈中的Nash均衡。 （英语） Zbl 1246.68122号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，375-386，仅电子版（2011年）。
MSC公司：2017年第68季度 91A06型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。13775-386（2011年；兹比尔1246.68122）
全文： 内政部
迈克尔·费希尔

介绍使用时态逻辑的实用形式化方法。 （英语） Zbl 1250.68003号

新泽西州霍博肯：John Wiley&Sons（ISBN 978-0-470-02788-2/hbk；978-1-11-999147-2/电子书）。vii，第353页。(2011).
审核人：Joost-Pieter Katoen（亚琛）
MSC公司：68-01 03-01 03B44号 03B70号 60年第68季度 68吨15 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Fisher}，使用时态逻辑的实用形式化方法介绍。新泽西州霍博肯：约翰·威利父子公司（2011；Zbl 1250.68003）
全文： 内政部 链接
马丁·霍夫曼；马丁·兰格

自动机理论和逻辑。（自动化理论与逻辑） （德语） Zbl 1257.68003号

eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-642-18089-7/pbk；978-3-442-18090-3/电子书）。x、 240页。(2011).
审核人：Klaus D.Kiermeier（柏林）
MSC公司：68-01 68-02 03-01 03B25号 03B44号 03B70号 05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{M.Lange}，《自动化与逻辑》。柏林：施普林格出版社（2011；Zbl 1257.68003）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件