×

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

最新的 引文 关联
马丁·库特里布;马蒂亚斯·温德兰特

有限部分语言的状态复杂性。 （英语） Zbl 07643471号

Han，Yo-Sub（编辑）等，形式系统的描述复杂性。第24届IFIP工作组1.02国际会议，DCFS 2022，匈牙利德布勒森，2022年8月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13439, 170-183 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{M.Wendlandt}，莱克特。注释计算。科学。13439，170-183（2022；Zbl 07643471）
全文： 内政部
小川，水井裕人;亚历山大·奥霍金

事件块输入驱动下推自动机的确定。 （英语） Zbl 07615742号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会，CSR 2022，虚拟活动，2022年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13296, 256-268 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛M.Ogawa｝和\textit｛A.Okhotin｝，Lect。注释计算。科学。13296256-268（2022；Zbl 07615742）
全文： 内政部 arXiv公司
佐尔坦，福尔öp;达维德·科佐;福格勒、海科

强双单子体上加权树自动机的Crisp-determination。 （英语） Zbl 1496.68208号

离散数学。西奥。计算。科学。 23，第1号，第18号论文，44页（2021年）.
MSC公司：70年第68季度 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{Z.Fülöp}等人，《离散数学》。西奥。计算。科学。23，第1号，第18号文件，第44页（2021；兹bl 1496.68208）
全文： 内政部 arXiv公司 链接
让-埃里克·品

有限自动机。 （英语） Zbl 1517.68213号

Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。3-38 (2021).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-Ei.Pin}，收录于：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。3-38（2021年；兹比尔1517.68213）
全文： 内政部
曼弗雷德·德罗斯特;佐尔坦，福尔öp;达维德·科什奥;福格勒、海科

加权树自动机在加性局部有限和后有限单调强双半群上的Crisp-determination是可判定的。 （英语） Zbl 1496.68207号

Jirásková，Galina（编辑）等人，《形式系统的描述复杂性》。第22届国际会议，2020年8月24日至26日，DCFS 2020，奥地利维也纳。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12442, 39-51 (2020).
MSC公司：70年第68季度 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{M.Droste}等人，Lect。注释计算。科学。12442，39-51（2020；Zbl 1496.68207）
全文： 内政部
田聪;王文生;段振华

使斯特雷特的决定更加严格。 （英语） Zbl 07299518号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。859-872 (2020).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。859--872（2020；Zbl 07299518）
全文： 内政部 arXiv公司
Aceto，卢卡;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Ingólfsdóttir，安娜;克雅坦松，Svarrn

使用递归确定HML的监控器。 （英语） Zbl 1494.68155号

J.日志。阿尔盖布。方法计划。 111，文章ID 100515，38 p.（2020）.
MSC公司：60年第68季度 03B70号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，J.Log。阿尔盖布。方法程序。111，文章ID 100515，38 p.（2020；Zbl 1494.68155）
全文： 内政部 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年；Zbl 07561613）
全文： 内政部 arXiv公司
克里斯托夫·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公司
莫伊斯·克里钦

在时间域上使用自动机的确定技术测试实时系统。 （英语） Zbl 07142673号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 124-133 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Krichen}，莱克特。注释计算。科学。11884、124-133（2019；Zbl 07142673）
全文： 内政部
艾曼纽·菲利奥特;伊斯马·杰克;内森·勒霍特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金

max-plus自动机的延迟和后悔判定。 （英语） Zbl 1457.68142号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第36条，第12页（2017年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛E.Filiot｝等人，在：2017年第32届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，雷克雅未克，冰岛，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第36条，第12页（2017；Zbl 1457.68142）
全文： arXiv公司 链接
乌迪·博克

关于Muller自动机的简洁性。 （英语） Zbl 1434.68235号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第12条，第16页（2017年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}，LIPIcs——莱布尼茨国际程序。通知。82，第12条，第16页（2017年；Zbl 1434.68235）
全文： 内政部
比约恩·布格·格雷斯沃尔;弗里茨·亨利恩;乌里克·特普拉斯穆森;瑟霍姆，克里斯托弗·阿隆德;塞巴斯蒂安·帕斯克·托勒姆

Kleenex：将非确定性传感器编译为确定性流式传感器。 （英语） Zbl 1347.68065号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。284-297 (2016).
MSC公司：68N20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.B.Grathwohl}等人，in：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。284--297（2016；Zbl 1347.68065）
全文： 内政部
努埃尔，G。;德洛斯，V。

通过惰性马尔可夫链嵌入计算退化序列中的正则表达式。 （英语） Zbl 1332.92007年

Chen，Ke（编辑）等人，《在计算数学和计算几何之间建立联系》。第三届计算数学和计算几何国际会议论文，CMCGS 2014，新加坡，2014年2月3-4日。查姆：施普林格（ISBN 978-3-319-16138-9/hbk；978-3-3169-16139-6/电子书）。施普林格数学与统计学论文集124235-246（2016）。
MSC公司：92B15号机组 92D10型 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{G.Nuel}和\textit{V.Delos}，施普林格程序。数学。Stat.124，235--246（2016；Zbl 1332.92007）
全文： 内政部
达纳·菲斯曼;尤德·卢斯蒂格

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）
全文： 内政部
田聪;段振华;杨梦飞

将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）
全文： 内政部
乌迪·博克;托马斯·亨辛格（Thomas A.Henzinger）。

定量自动机的近似确定。 （英语） Zbl 1354.68147号

D’Souza，Deepak（ed.）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，362-373（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{T.A.Henzinger}，LIPIcs——莱布尼茨国际程序。通知。18、362--373（2012年；Zbl 1354.68147）
全文： 内政部
霍华德·斯特劳宾;韦尔·帕斯卡

介绍有限自动机及其与逻辑的联系。 （英语） Zbl 1256.68112号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，3-43（2012）。
MSC公司：65年第68季度 05年3月 03B25号 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Straubing}和\textit{P.Weil}，IISc Res.Monogr。序列号。2、3--43（2012；Zbl 1256.68112）
全文： 内政部 arXiv公司 哈尔
帕里斯（Pawe Parys）

可折叠下推系统的变体。 （英语） 兹比尔1252.68120

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，500-515，仅电子版（2012年）。
MSC公司：2005年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Parys}，LIPIcs——莱布尼茨国际程序。通知。16500--515（2012；Zbl 1252.68120）
全文： 内政部
乌迪·博克;托马斯·亨辛格（Thomas A.Henzinger）。

确定折扣和自动机。 （英语） Zbl 1247.68128号

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，82-96，仅电子版（2011年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{T.A.Henzinger}，LIPIcs——莱布尼茨国际程序。通知。12、82-96（2011；Zbl 1247.68128）
全文： 内政部 链接
O.O·普里扬尼科娃。

可在顶点标记图中表示的语言代数。 （乌克兰语。英文摘要） Zbl 1240.68137号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2011年第1期，193-198（2011）.
MSC公司：70年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.O.Pryanychnykova}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2011年第1期，193--198（2011；Zbl 1240.68137）
Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦

非确定性时间自动机的离线测试选择与测试目的。 （英语） Zbl 1315.68082号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。《计算机科学讲义》6605196-111（2011）。
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，Lect。注释计算。科学。660596-111（2011年；Zbl 1315.68082）
全文： 内政部 arXiv公司
丹尼尔·克里斯滕;西尔万·伦巴第

多项式模糊min-plus自动机的无二义性和序列性判定。 （英语） Zbl 1236.68172号

Albers，Susanne（编辑）等人，STACS 2009。2009年2月26日至28日，德国弗莱堡，第26届计算机科学理论方面国际研讨会。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-09-5）。LIPIcs–莱布尼茨国际信息学会议录3，589-600，仅电子版（2009年）。
MSC公司：65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kirsten}和\textit{S.Lombardy}，LIPIcs——莱布尼茨国际程序。通知。3589--600（2009年；Zbl 1236.68172）
全文： 内政部 链接
约阿希姆·克莱因;拜尔，克里斯特尔

确定性自动机构造中的即兴断断续续。 （英语） Zbl 1139.68366号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，51-61（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.克莱因}和\textit{C.拜尔}，莱克特。注释计算。科学。4783、51-61（2007年；Zbl 1139.68366）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件