×

找到21个文档（结果1–21）

最新的 引文 关联
伯纳德·博伊格洛特；帕斯卡·方丹；巴普蒂斯特·韦尔盖因

自动机上的通用一阶量化。 （英语） Zbl 07810926号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 91-102 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。票据计算。科学。14151，91-102（2023；Zbl 07810926）
全文： 内政部 arXiv公司 链接
维伦达·戴夫；泰勒·多曼；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪

使用常规关系进行常规模型检查。 （英语） Zbl 07530233号

Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12867, 190-203 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Dave}等人，Lect。票据计算。科学。12867、190-203（2021；Zbl 07530233）
全文： 内政部 arXiv公司
托马斯·威尔克；斯文·舍韦

\（\omega\）-自动机。 （英语） Zbl 1516.68051号

Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。189-234 (2021).
审核人：罗杰·维尔梅尔（蒙特勒）
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.Wilke}和\textit{S.Schewe}，摘自：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。189-234（2021年；Zbl 1516.68051）
全文： 内政部
克里斯托夫·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公司
戈尔曼，亚历克西街区；菲利普·海罗尼米；埃利奥特·卡普兰；孟若愚；埃里克·沃尔斯伯格；王子和；熊子琴；杨洪如

连续的常规功能。 （英语） 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 07649923号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第15条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Clemente}等人，LIPIcs——莱布尼茨国际程序。通知。140，第15条，第16页（2019年；Zbl 07649923）
全文： 内政部 arXiv公司
伯纳德·博伊格洛特；朱利安·布鲁斯滕；杰罗姆·勒鲁

Semenov定理对实数上自动机的推广。 （英语） Zbl 1250.03061号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲义5663。《人工智能讲义》，469-484（2009）。
MSC公司：05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。票据计算。科学。5663、469--484（2009年；Zbl 1250.03061）
全文： 内政部 哈尔
伯纳德·博伊格洛特；Jean-François Degbomont

有限自动机表示的集合的部分投影，以及状态空间可视化的应用。 （英语） Zbl 1234.68084号

Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。计算机科学课堂讲稿5457200-211（2009）。
MSC公司：68第05页 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}和\textit{J.-F.Degbomont}，莱克特。票据计算。科学。5457200--211（2009年；Zbl 1234.68084）
全文： 内政部 链接
约琴·艾辛格

整数和混合实数与整数线性算术的自动机大小的上限。（扩展摘要）。 （英语） Zbl 1156.03330号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，431-445（2008）。
MSC公司：05年3月 03B25号 03英尺30英寸 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛J.Eisinger｝，Lect。票据计算。科学。52132431-445（2008年；兹bl 1156.03330）
全文： 内政部
杰罗姆·勒鲁

算术自动机的凸包。 （英语） Zbl 1149.68393号

Alpunte，María（编辑）等人，《静态分析》。第15届国际研讨会，2008年SAS，西班牙巴伦西亚，2008年7月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079，47-61（2008）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.勒鲁}，勒克特。票据计算。科学。5079、47-61（2008年；Zbl 1149.68393）
全文： 内政部 哈尔
伯纳德·博伊格洛特；朱利安·布鲁斯滕；维罗尼克·布鲁埃

关于有限自动机在多个基中识别的实数集。 （英语） Zbl 1155.03308号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126112-123（2008）。
MSC公司：05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。票据计算。科学。5126112--123（2008；Zbl 1155.03308）
全文： 内政部 arXiv公司
克里斯蒂安·达克斯；约琴·艾辛格；费利克斯·克莱特克

为限制类\（\omega \）-自动机实现功率集构造的机械化。 （英语） Zbl 1141.68430号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762223-236（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dax}等人，Lect。票据计算。科学。4762、223--236（2007年；Zbl 1141.68430）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件