×

找到91个文档（结果1-91）

最新的 引文 关联
安苏曼·班纳吉;金淑·查特吉;什巴希斯·古哈

在无限字母表上设置增广有限自动机。 （英语） Zbl 07766932号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 36-50 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，Lect。注释计算。科学。13911、36-50（2023；Zbl 07766932）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳;菲利普·海姆;诺埃米，传球

时序流逻辑模理论。 （英语） Zbl 07793036号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 325-346 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，Lect。注释计算。科学。13242，325--346（2022；Zbl 07793036）
全文： 内政部 arXiv公司
M.H.班杜卡拉。;北卡罗来纳州齐夫列科斯。

新生注册自动机的即时双相似性检查。 （英语） Zbl 1528.68172号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 187-204 (2022).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Bandukara}和\textit{N.Tzevelekos}，莱克托。注释计算。科学。13649187-204（2022年；Zbl 1528.68172）
全文： 内政部
林多·纳卡尼西;吉崎隆田;Seki、Hiroyuki

确定性自底向上命名树自动机的主动学习。 （英语） Zbl 07719841号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 342-359 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Nakanishi}等人，Lect。注释计算。科学。13572342--359（2022；Zbl 07719841）
全文： 内政部 arXiv公司
西蒙·迪尔;福尔克·豪尔

常见注册自动机形式的分类和简化。 （英语） Zbl 1522.68265号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 186-218 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dierl}和\textit{F.Howar}，莱克特。注释计算。科学。13030186-218（2022年；Zbl 1522.68265）
全文： 内政部
弗洛里安·弗兰克;斯特凡·米利厄斯;海宁·乌尔巴特

标称自动机的协同代数语义。 （英语） 兹伯利07628066

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。2022年4月2日至3日，第16届IFIP WG 1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225，45-66（2022）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Frank}等人，Lect。注释计算。科学。13225，45-66（2022；Zbl 07628066）
全文： 内政部 arXiv公司
西蒙·迪尔;福尔克·豪尔

到达通过历史独立性研究寄存器自动机。 （英语） Zbl 1514.68097号

Kovács，Laura（编辑）等人，《测试和证明》。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13361, 11-30 (2022).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dierl}和\textit{F.Howar}，莱克特。注释计算。科学。13361，11--30（2022；Zbl 1514.68097）
全文： 内政部
Clément伯特兰;汉娜·克劳代尔;弗雷德里克·佩申斯基

分层内存自动机：具有无限内存的准规则语言的识别器。 （英语） Zbl 1499.68167号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 43-63 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bertrand}等人，Lect。注释计算。科学。13288，43-63（2022；Zbl 1499.68167）
全文： 内政部 链接
龙马仙达;吉崎隆田;弘久世奇（Hiroyuki Seki）

可见寄存器下推自动机的反应合成。 （英语） Zbl 07500652号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 334-353 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Senda}等人，Lect。注释计算。科学。12819、334--353（2021；Zbl 07500652）
全文： 内政部
巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克

对于数据语言来说，不确定性和共不确定性意味着确定性。 （英语） Zbl 07410434号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 365-384 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}等人，Lect。注释计算。科学。12650365-384（2021；Zbl 07410434）
全文： 内政部
约书亚·莫尔曼;马蒂奥·桑马蒂诺

剩余标称自动机。 （英语） Zbl 07559500号

Konnov，Igor（ed.）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第44条，第21页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛J.Moerman｝和\textit｛M.Sammartino｝，LIPIcs——莱布尼茨国际期刊。通知。171，第44条，第21页（2020；Zbl 07559500）
全文： 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔

传感器定义的数据字函数的可计算性。 （英语） Zbl 07250940号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 217-236 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛L.Exibard｝等人，Lect。注释计算。科学。12077，217--236（2020；Zbl 07250940）
全文： 内政部 arXiv公司
阿伊拉特·哈利莫夫;奥尔纳·库普弗曼

基于寄存器的合成。 （英语） Zbl 07649933号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第25条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Khalimov}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。140，第25条，第16页（2019年；Zbl 07649933）
全文： 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔

数据字换能器的合成。 （英语） Zbl 07649932号

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

从具有结构的代数的方程规范到各种数据语言（特邀论文）。 （英语） 兹比尔07649885

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第2条，第5页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}，LIPIcs——莱布尼茨国际程序。通知。139，第2条，第5页（2019年；Zbl 07649885）
全文： 内政部
海宁·乌尔巴特;斯特凡·米利厄斯

各种数据语言。 （英语） Zbl 07561623号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第130条，第14页（2019年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Urbat}和\textit{S.Milius}，LIPIcs——莱布尼茨国际程序。通知。132，第130条，第14页（2019年；Zbl 07561623）
全文： 内政部 arXiv公司
保罗·布鲁内特;亚历山德拉·席尔瓦

标称自动机的Kleene定理。 （英语） Zbl 07561600号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第107条，第13页（2019年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Brunet}和\textit{A.Silva}，LIPIcs——莱布尼茨国际程序。通知。132，第107条，第13页（2019年；Zbl 07561600）
全文： 内政部
安托万·莫特特;卡琳·夸斯

明确的寄存器自动机的包含问题。 （英语） Zbl 1517.68208号

Niedermeier，Rolf（编辑）等人，第36届计算机科学理论方面国际研讨会，2019年3月13日至16日，德国柏林，STACS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126，第53条，第15页（2019年）。
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Mottet｝和\textit｛K.Quaas｝，LIPIcs——莱布尼茨国际期刊。通知。126，第53条，第15页（2019年；Zbl 1517.68208）
全文： 内政部 arXiv公司
安德烈·穆拉夫斯基。;史蒂文·拉姆齐。;尼科斯·齐夫列科斯

确定性新生注册自动机的多项式时间等价性测试。 （英语） Zbl 1512.68143号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第72条，第14页（2018年）。
MSC公司：65年第68季度 20-08 2010年1月20日 65年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Murawski}等人，LIPIcs——莱布尼茨国际程序。通知。117，第72条，第14页（2018；Zbl 1512.68143）
全文： 内政部
Michaliszyn，Jakub;奥托普，简;彼得·维克佐雷克

查询图形数据库中的最佳路径。 （英语） Zbl 1491.68061号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第43条，第15页（2018年）。
MSC公司：第68页，共15页 68兰特 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Michaliszyn}等人，LIPIcs——莱布尼茨国际程序。通知。93，第43条，第15页（2018；Zbl 1491.68061）
全文： 内政部 arXiv公司
塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库

执行带有区域类型和效果的规划指南。 （英语） Zbl 1503.68030号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 85-104 (2017).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{S.Erbatur}等人，Lect。注释计算。科学。10695，85-104（2017；Zbl 1503.68030）
全文： 内政部 arXiv公司
艾哈迈德·博阿贾尼;康斯坦丁·埃纳;王超

检查并发优先级队列的线性化能力。 （英语） Zbl 1442.68126号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第16条，第16页（2017年）。
MSC公司：68问题85 60年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，LIPIcs——莱布尼茨国际程序。通知。85，第16条，第16页（2017年；Zbl 1442.68126）
全文： 内政部 arXiv公司
贝内迪克特·布吕奇;帕特里克·兰德威尔;沃尔夫冈·托马斯

\（mathbb{N}）-字母表上的内存自动机。 （英语） Zbl 1485.68137号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 91-102 (2017).
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{B.Brütsch}等人，Lect。注释计算。科学。10168，91-102（2017；Zbl 1485.68137）
全文： 内政部
卢茨·施罗德;德克斯特·科赞;斯特凡·米利厄斯;托尔斯滕·维曼

具有名称绑定的标称自动机。 （英语） Zbl 1486.68097号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 124-142 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}等人，Lect。注释计算。科学。10203、124--142（2017；Zbl 1486.68097）
全文： 内政部 arXiv公司
帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫

数据字上的加权寄存器自动机和加权逻辑。 （英语） Zbl 1482.68124号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 370-384 (2016).
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Babari}等人，Lect。注释计算。科学。99650370-384（2016年；兹比尔1482.68124）
全文： 内政部
巴哈迪尔·库萨诺夫;刘佳谋

无限代数结构上有限自动机的决策问题。 （英语） Zbl 1475.68158号

Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 3-11 (2016).
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{B.库萨诺夫}和\textit{J.刘}，莱克特。注释计算。科学。9705，3--11（2016；Zbl 1475.68158）
全文： 内政部
拉杰夫·阿鲁尔;达纳·菲斯曼;穆昆德·拉戈塔曼

数据流定量属性的常规编程。 （英语） Zbl 1335.68041号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，15-40（2016）。
MSC公司：68纳米30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。9632，15--40（2016；Zbl 1335.68041）
全文： 内政部
阿扎德法尔赞;马蒂亚斯·海兹曼;霍尼克，约琴;扎卡里·金凯德;安德烈亚斯·波德尔斯基

自动程序验证。 （英语） Zbl 1451.68175号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 25-46 (2015).
MSC公司：60年第68季度 68纳米30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Farzan｝等人，Lect。注释计算。科学。8977，25-46（2015年；兹bl 1451.68175）
全文： 内政部
克里斯托弗·齐巴;克里斯托弗·斯宾拉斯;沃尔夫冈·托马斯

无限字母表上的有限自动机：两个具有局部变化转换的模型。 （英语） Zbl 1386.68088号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-21499-3/pbk；978-3-3169-21500-6/电子书）。计算机科学讲义9168203-214（2015）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{C.Czyba}等人，Lect。注释计算。科学。9168203-214（2015；Zbl 1386.68088）
全文： 内政部
德克斯特·科赞;康斯坦蒂诺斯·马穆拉斯;丹尼拉·佩特里西安;亚历山德拉·席尔瓦

标称Kleene余代数。 （英语） Zbl 1440.68174号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 286-298 (2015).
MSC公司：70年第68季度 03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，Lect。注释计算。科学。9135286--298（2015；Zbl 1440.68174）
全文： 内政部 链接
托马斯·科尔科姆贝特

自动机理论中的明确性。 （英语） Zbl 1432.68222号

Shallit，Jeffrey（编辑）等人，《形式系统的描述复杂性》。2015年6月25日至27日，加拿大安大略省滑铁卢，第17届DCFS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9118, 3-18 (2015).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Colcombet}，莱克特。注释计算。科学。9118，3--18（2015；Zbl 1432.68222）
全文： 内政部
诺曼·戴克;彼得·哈贝梅尔;马丁·勒克;丹尼尔·托马

学习透明数据自动机。 （英语） Zbl 1410.68182号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 130-149 (2014).
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Decker}等人，Lect。注释计算。科学。8489130-149（2014年；兹比尔1410.68182）
全文： 内政部
皮耶保罗·德加诺;吉安·路易吉，法拉利;吉安卢卡·梅泽蒂

用于资源使用控制的标称自动机。 （英语） Zbl 1297.68121号

Moreira，Nelma（编辑）等人，《自动机的实现和应用》。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31605-0/pbk）。计算机科学课堂讲稿7381125-137（2012）。
MSC公司：65年第68季度 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit｛P.Degano｝等人，Lect。注释计算。科学。7381125-137（2012年；Zbl 1297.68121）
全文： 内政部
福尔克，豪尔;伯恩哈德·斯特芬;本特·琼森;索菲亚·卡塞尔

推断规范寄存器自动机。 （英语） Zbl 1326.68168号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148251-266（2012）。
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Howar}等人，Lect。注释计算。科学。7148251--266（2012年；Zbl 1326.68168）
全文： 内政部
贝内迪克特·博利格

捕获EMSO逻辑的数据字自动机。 （英语） Zbl 1343.68153号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901171-186（2011）。
MSC公司：60年第68季度 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。6901171--186（2011；Zbl 1343.68153）
全文： 内政部 arXiv公司
男性，Irini-Eleftheria;乔治·拉霍尼斯

无限排列字母表上的可变树自动机。 （英语） Zbl 1339.68152号

Winkler，Franz（编辑），代数信息学。2011年6月21日至24日，第四届国际会议，CAI 2011，奥地利林茨。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21492-9/pbk）。计算机科学课堂讲稿6742247-260（2011）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.-E.Mens}和\textit{G.Rahonis}，莱克特。注释计算。科学。6742，247--260（2011；Zbl 1339.68152）
全文： 内政部
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯

算法标称游戏语义。 （英语） Zbl 1326.68071号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602419-438（2011）。
MSC公司：68甲18 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Murawski}和\textit{N.Tzevelekos}，莱克特。注释计算。科学。6602419--438（2011年；Zbl 1326.68071）
全文： 内政部
阿马尔德夫·曼努埃尔;拉马努贾姆，R。

计算无限字母的多重性。 （英语） Zbl 1260.68209号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797141-153（2009）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Manuel}和\textit{R.Ramanujam}，莱克特。注释计算。科学。5797、141--153（2009年；Zbl 1260.68209）
全文： 内政部
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦

阵列存取程序的算法分析。 （英语） Zbl 1257.68102号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿577186-101（2009）。
MSC公司：60年第68季度 68纳米30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。5771、86--101（2009年；Zbl 1257.68102）
全文： 内政部 链接
托尼·谭

关于具有可判定空性问题的数据语言的卵石自动机。 （英语） Zbl 1200.68150号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734712-723（2009）。
MSC公司：65年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.Tan}，莱克特。注释计算。科学。5734712--723（2009年；Zbl 1200.68150）
全文： 内政部 arXiv公司
迈克尔·卡明斯基;托尼·谭

无限字母表上的树自动机。 （英语） Zbl 1133.68364号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800386-423（2008）。
MSC公司：65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}和\textit{T.Tan}，莱克特。注释计算。科学。4800386-423（2008年；兹比尔1133.68364）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件