勒罗伊·周;弗里德里希·斯利沃夫斯基 在QBF中实现统一认证。 (英语) Zbl 07814922号 日志。方法计算。科学。 20,第1号,第14号论文,42页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Chew}和\textit{F.Slivovsky},Log。方法计算。科学。20,第1号,第14号文件,第42页(2024;Zbl 07814922) 全文: 内政部 arXiv公司
克里斯特尔·拜尔;雅各布皮里鲍尔;罗宾·齐梅克 马尔可夫决策过程中概率提升因果关系的基础。 (英语) Zbl 07814912号 日志。方法计算。科学。 20,第1号,第4号论文,66页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,日志。方法计算。科学。20,第1号,第4号论文,66页(2024;Zbl 07814912) 全文: 内政部 arXiv公司
比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定日志进行离线和在线节能监测。 (英语) Zbl 07789013号 日志。方法计算。科学。 20,第1号,第2号论文,33页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈},日志。方法计算。科学。20,第1号,第2号论文,33页(2024;Zbl 07789013) 全文: 内政部 arXiv公司
阿兰·芬克尔;艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 (英语) Zbl 07789005号 日志。方法计算。科学。 19,第4号,第33号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{E.Lozes},Log。方法计算。科学。19,第4号,第33号论文,28页(2023;Zbl 07789005) 全文: 内政部 arXiv公司
托拜厄斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 递归概率程序的模型检查时间属性。 (英语) Zbl 07788996号 日志。方法计算。科学。 19,第4号,第24号论文,30页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Winkler}等人,日志。方法计算。科学。19,第4号,第24号论文,30页(2023;Zbl 07788996) 全文: 内政部 arXiv公司
马滕斯,维姆;马蒂亚斯·尼沃思;蒂娜,波普 常规线索查询的三分法。 (英语) Zbl 07788992号 日志。方法计算。科学。 19,第4号,第20号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}等人,《日志》。方法计算。科学。19,第4号,第20号论文,第38页(2023;Zbl 07788992) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 随机博弈中与竞技场无关的有限记忆确定性。 (英语) Zbl 07788990号 日志。方法计算。科学。 19,第4号,第18号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。19,第4号,第18号论文,51页(2023;Zbl 07788990) 全文: 内政部 arXiv公司
柯斯汀·彼得斯;乌韦州内斯特曼;克里斯托夫·瓦格纳 FTMPST:容错多方会话类型。 (英语) Zbl 07788986号 日志。方法计算。科学。 19,第4号,第14号论文,39页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}等人,日志。方法计算。科学。19,第4号,第14号论文,39页(2023;Zbl 07788986) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;Angelo蒙塔纳里;斯特凡诺·托内塔 安全和协同安全语言的一阶逻辑特征。 (英语) Zbl 07731941号 日志。方法计算。科学。 19,第3号,第13号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。方法计算。科学。19,第3号,第13号论文,29页(2023;Zbl 07731941) 全文: 内政部 arXiv公司
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼 在不可预测的环境中衡量程序健壮性的框架。 (英语) Zbl 07731930号 日志。方法计算。科学。 19,第3号,第2号论文,46页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人,日志。方法计算。科学。19,第3号,第2号论文,46页(2023;Zbl 07731930) 全文: 内政部 arXiv公司
达纳·菲斯曼;哈达尔·弗兰克尔;桑德拉·齐尔斯 推断符号自动机。 (英语) Zbl 07731916号 日志。方法计算。科学。 19,第2号,第5号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,《日志》。方法计算。科学。19,第2号,第5号论文,37页(2023;Zbl 07731916) 全文: 内政部 arXiv公司
奥拉夫·拜尔斯多夫;本杰明·伯姆 了解QBF-CDCL解算器的相对强度和QBF分辨率。 (英语) Zbl 07731913号 日志。方法计算。科学。 19,第2期,第2号论文,45页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{B.Böhm},日志。方法计算。科学。19,第2号,第2篇论文,45页(2023;Zbl 07731913) 全文: 内政部 arXiv公司
达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔 定时系统的最优控制器综合。 (英语) Zbl 07731909号 日志。方法计算。科学。 19,第1号,第20号论文,77页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Busatto-Gaston}等人,日志。方法计算。科学。19,第1号,第20号论文,77页(2023;Zbl 07731909) 全文: 内政部 arXiv公司
伊戈尔·科诺夫;玛丽亚娜·拉齐奇;伊利娜·斯托伊尔科夫斯卡;约瑟夫·威德 阈值自动机和拜占庭模型检查器参数化验证综述。 (英语) Zbl 07667095号 日志。方法计算。科学。 19,第1号,第5号论文,25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,日志。方法计算。科学。19,第1号,第5号论文,25页(2023;Zbl 07667095) 全文: 内政部 arXiv公司
Tran,清海;伊戈尔·科诺夫;约瑟夫·威德 故障检测器参数验证的案例研究。 (英语) Zbl 07667090号 日志。方法计算。科学。 19,第1号,第17号论文,52页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.-H.Tran}等人,日志。方法计算。科学。19,第1号,第17号论文,52页(2023;Zbl 07667090) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Log。方法计算。科学。19,第1号,第14号论文,44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;Pawe Gawrychowskił;皮埃尔·奥曼 无限长博弈的泛图理论。 (英语) Zbl 07596577号 日志。方法计算。科学。 18,第3号,第29号文件,第47页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,《日志》。方法计算。科学。18,第3号,第29号论文,47页(2022;Zbl 07596577) 全文: 内政部 arXiv公司
马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号文件,第28页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅格 一键定价的负权重计时游戏。 (英语) 兹比尔07577581 日志。方法计算。科学。 18,第3号,第17号论文,51页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。18,第3号,第17号论文,51页(2022;Zbl 07577581) 全文: arXiv公司 链接
苏古曼·班萨尔;斯瓦拉特·乔杜里;莫舍·瓦尔迪。 定量验证中的比较自动机。 (英语) Zbl 07577577号 日志。方法计算。科学。 18,第3号,第13号文件,第28页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Bansal}等人,日志。方法计算。科学。18,第3号,第13号论文,28页(2022;Zbl 07577577) 全文: arXiv公司 链接
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔(Ebru Aydin Gol);伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英语) Zbl 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,《日志》。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
洛伦佐·克莱门特;Sławomir拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 (英语) Zbl 07566065号 日志。方法计算。科学。 18,第2号,第9号论文,37页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,日志。方法计算。科学。18,第2号,第9号论文,37页(2022;Zbl 07566065) 全文: arXiv公司 链接
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克,大卫 基于BDD的边色图SCC分解算法。 (英语) Zbl 07566051号 日志。方法计算。科学。 18,第1号,第38号论文,第27页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《日志》。方法计算。科学。18,第1号,第38号论文,第27页(2022;Zbl 07566051) 全文: arXiv公司 链接
埃蒂安·安德烈;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 参数时间自动机中的可达性和活性。 (英语) Zbl 07566044号 日志。方法计算。科学。 18,第1号,第31号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。18,第1号,第31号论文,41页(2022;Zbl 07566044) 全文: arXiv公司 链接
Fürer,巴西尔;安德烈亚斯·洛赫比勒;Schneider,约书亚;德米特里·特拉泰尔 有界自然函子的商。 (英语) Zbl 07471712号 日志。方法计算。科学。 18,第1号,第23号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Fürer}等人,日志。方法计算。科学。18,第1号,第23号论文,28页(2022;Zbl 07471712) 全文: arXiv公司 链接
博利格,贝内迪克特;阿兰·芬克尔;阿姆丽塔·苏雷什 有界可达性问题在FIFO机器中是可以判定的。 (英语) Zbl 07471708号 日志。方法计算。科学。 18,第1号,第19号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,日志。方法计算。科学。18,第1号,第19号论文,32页(2022;Zbl 07471708) 全文: arXiv公司 链接
塞巴斯蒂安·比沃;雷娜·迪米特洛娃;迈克尔·弗里斯;马西耶·加兹达;托马斯·海因策;霍尔格·赫尔曼斯;穆罕默德·雷扎·穆萨维 时间和空间中兴奋剂检测的一致性关系和超属性。 (英语) Zbl 07471703号 日志。方法计算。科学。 18,第1号,第14号论文,39页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Biewer}等人,日志。方法计算。科学。18,第1号,第14号论文,39页(2022;Zbl 07471703) 全文: arXiv公司 链接
玛丽亚,皮图;乔治·拉霍尼斯 基于参数化组件的系统中的体系结构:定性和定量建模。 (英语) Zbl 07471686号 日志。方法计算。科学。 17,第4号,第26号论文,53页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Pittou}和\textit{G.Rahonis},Log。方法计算。科学。17,第4号,第26号论文,53页(2021;Zbl 07471686) 全文: arXiv公司 链接
Yo Mitani;直纪小林;津田,武士 概率高阶不动点逻辑。 (英语) Zbl 07471675号 日志。方法计算。科学。 17,第4号,第15号论文,36页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mitani}等人,《日志》。方法计算。科学。17,第4号,第15号论文,36页(2021;Zbl 07471675) 全文: arXiv公司 链接
杰里米·斯普洛斯顿 具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) Zbl 07471666号 日志。方法计算。科学。 17,第4号,第6号论文,35页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},日志。方法计算。科学。17,第4号,第6号论文,35页(2021;Zbl 07471666) 全文: arXiv公司 链接
Anthony W·林。;鲁帕克·马朱姆达尔 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 (英语) Zbl 1517.68319号 日志。方法计算。科学。 17,第4号,第4号文件,第20页(2021).MSC公司:68兰特 03B25号 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Lin}和\textit{R.Majumdar},日志。方法计算。科学。17,第4期,第4号论文,20页(2021年;Zbl 1517.68319) 全文: arXiv公司 链接
托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。 口吃保护性偏序减少的标签不一致问题的详细说明。 (英语) Zbl 07407780号 日志。方法计算。科学。 17,第3号,第8号论文,27页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Neele}等人,《日志》。方法计算。科学。17,第3号,第8号论文,27页(2021;Zbl 07407780) 全文: arXiv公司 链接
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 (英语) Zbl 07350779号 日志。方法计算。科学。 17,第2号,第13号论文,67页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。17,第2号,第13号论文,67页(2021;Zbl 07350779) 全文: arXiv公司 链接
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。方法计算。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。方法计算。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
托马斯·布里海耶;佛罗伦萨德尔格兰奇;尤索夫·乌阿尔哈德;米凯尔·兰多尔 生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 (英语) Zbl 1509.91006号 日志。方法计算。科学。 16,第4号,第13号论文,30页(2020年).MSC公司:91A35型 91A43型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。16,第4号,第13号论文,30页(2020;Zbl 1509.91006) 全文: arXiv公司 链接
阿兰·芬克尔;M·普拉文。 验证扁平FIFO系统。 (英语) Zbl 07269251号 日志。方法计算。科学。 16,第4期,第4号论文,29页(2020年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{M.Praveen},日志。方法计算。科学。16,第4号,第4号文件,第29页(2020年;Zbl 07269251) 全文: arXiv公司 链接
简·Křetínsk;托拜厄斯·梅根多夫 核心:马尔可夫决策过程的部分探索框架。 (英语) Zbl 07269250号 日志。方法计算。科学。 16,第4号,第3号论文,31页(2020年).MSC公司:60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk \}和\textit{T.Meggendorfer},日志。方法计算。科学。16,第4号,第3号论文,31页(2020;Zbl 07269250) 全文: arXiv公司 链接
直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯 关于概率高阶递归程序的终止问题。 (英语) Zbl 1490.68134号 日志。方法计算。科学。 16,第4号,第2号论文,57页(2020年).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人,日志。方法计算。科学。16,第4号,第2号论文,57页(2020年;Zbl 1490.68134) 全文: arXiv公司 链接
Jan Friso,格鲁特;Tim A.C.Willemse。 用于建立服务级别协议的对称协议。 (英语) Zbl 07269247号 日志。方法计算。科学。 16,第3号,第19号论文,第19页(2020年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Log。方法计算。科学。16,第3号,第19号论文,第19页(2020;Zbl 07269247) 全文: arXiv公司 链接
迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 WSTS的正向分析。三: 卡普·米勒树。 (英语) Zbl 1491.68117号 日志。方法计算。科学。 16,第2号,第13号论文,33页(2020年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,日志。方法计算。科学。16,第2号,第13号论文,33页(2020年;Zbl 1491.68117) 全文: 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 1429.68098号 日志。方法计算。科学。 16,第1号,第5号论文,31页(2020年).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。16,第1号,第5号论文,31页(2020年;Zbl 1429.68098) 全文: arXiv公司
皮埃尔·普拉迪奇;科林·里巴 库里·霍华德(Curry-Howard)对教堂综合的看法。 (英语) Zbl 1509.03121号 日志。方法计算。科学。 15,第4号,第13号论文,38页(2019年).MSC公司:05年3月 03B16号 35楼03号 03楼55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pradic}和\textit{C.Riba},日志。方法计算。科学。15,第4号,第13号论文,38页(2019年;Zbl 1509.03121) 全文: arXiv公司
奥尔纳·库普弗曼;加尔瓦尔迪 流程逻辑。 (英语) Zbl 1442.03014号 日志。方法计算。科学。 15,第4号,第9号论文,24页(2019年).MSC公司:03B70号 03B44号 05C21号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},日志。方法计算。科学。15,第4号,第9号论文,24页(2019年;Zbl 1442.03014) 全文: arXiv公司
何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 (英语) Zbl 1515.68181号 日志。方法计算。科学。 15,第2号,第13号论文,52页(2019年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,日志。方法计算。科学。15,第2号,第13号论文,52页(2019年;Zbl 1515.68181) 全文: arXiv公司
艾曼纽·菲利奥特;奥利维尔,高文;皮埃尔·阿莱·雷尼尔;弗雷德里克·塞尔维斯 嵌套单词转义的可简化性。 (英语) 兹比尔1421.68094 日志。方法计算。科学。 15,第2号,第1号论文,30页(2019年).MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《日志》。方法计算。科学。15,第2号,第1号论文,30页(2019年;Zbl 1421.68094) 全文: arXiv公司
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;卢克·欣德 大小、成本和容量:一种用于硬随机QBF的语义技术。 (英语) Zbl 1515.03213号 日志。方法计算。科学。 15,第1号,第13号论文,39页(2019年).MSC公司:20层03 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,《日志》。方法计算。科学。15,第1号,第13号论文,39页(2019年;Zbl 1515.03213) 全文: arXiv公司
洛伦佐·克莱门特;Richard迈尔 通过语言包含测试应用程序有效减少非确定性自动机。 (英语) Zbl 1515.68159号 日志。方法计算。科学。 15,第1号,第12号论文,73页(2019年).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{R.Mayr},Log。方法计算。科学。15,第1号,第12号论文,73页(2019年;Zbl 1515.68159) 全文: arXiv公司
迪米特里斯·莫斯特鲁斯;Vascoconcelos、Vasco Thudichum 仿射会话。 (英语) Zbl 1407.68338号 日志。方法计算。科学。 14,第4号,第14号论文,21页(2018年).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Mostrous}和\textit{V.T.Vasconcelos},Log。方法计算。科学。14,第4号,第14号论文,21页(2018;Zbl 1407.68338) 全文: 内政部 arXiv公司
达纳·安格鲁因;乌迪·博克;达纳·菲斯曼 DFA家族作为\(\omega \)正则语言的接受者。 (英语) Zbl 1398.68291号 日志。方法计算。科学。 14,第1号,第15号论文,21页(2018年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人,日志。方法计算。科学。14,第1号,第15号文件,第21页(2018;兹bl 1398.68291) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);卡西拉斯、斯特凡诺斯;Leonardsson,卡尔;阿尔贝托·罗斯;朱云云 用自我失效和自我降级来修补篱笆。 (英语) Zbl 1459.68039号 日志。方法计算。科学。 14,第1号,第6号论文,33页(2018年).MSC公司:68号30 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。方法计算。科学。14,第1号,第6号论文,33页(2018;Zbl 1459.68039) 全文: 内政部 arXiv公司
钟曼,宋世堂。;法哈德·阿尔巴 约束自动机的数据优化。 (英语) 兹比尔1398.68312 日志。方法计算。科学。 12,第3号,第11号论文,第38页(2016).MSC公司:65年第68季度 68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.T.Q.Jongmans}和\textit{F.Arbab},日志。方法计算。科学。12,第3号,第11号论文,38页(2016;Zbl 1398.68312) 全文: 内政部 arXiv公司
费利克斯·克莱恩;马丁·齐默尔曼 要赢得无限的比赛需要多少前瞻性? (英语) Zbl 1440.68126号 日志。方法计算。科学。 12,第3号,第4号论文,26页(2016年).MSC公司:65年第68季度 2017年第68季度 65年第68季度 91A05型 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{F.Klein}和\textit{M.Zimmermann},Log。方法计算。科学。12,第3号,第4号论文,26页(2016;Zbl 1440.68126) 全文: 内政部