克里斯托夫·Löding;马克斯·菲利普·斯塔科恩 关于在不关心单词存在的情况下确定性自动机的最小化和学习。 (英语) Zbl 07737447号 芬丹。通知。 189,第1号,69-91(2022).MSC公司:65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{M.P.Stachon},Fundam。通知。189,编号1,69--91(2022;Zbl 07737447) 全文: 内政部 arXiv公司
M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马里特,S。 最大和最小动态Petri网切片。 (英语) Zbl 07737443号 芬丹。通知。 188,编号4,239-267(2022).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Llorens}等人,Fundam。通知。188,编号4,239--267(2022;Zbl 07737443) 全文: 内政部 arXiv公司
巴赫里Gh.,Behrooz;托马斯·费德;赫伯特·弗利什纳;卡洛斯·苏比 关于在巴内特图中寻找哈密顿循环。 (英语) 兹比尔1518.68246 芬丹。通知。 188,编号1,1-14(2022). 审核人:I.M.Erusalimskiy(罗斯敦-纳多努) MSC公司:68兰特 05年10月 05C45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bagheri Gh.}等人,Fundam。通知。188,编号1,1-14(2022;Zbl 1518.68246) 全文: 内政部 arXiv公司
卡米拉·巴里尔斯卡;安娜·果戈林斯卡 Petri网中的非循环和循环反转计算。 (英语) Zbl 1522.68357号 芬丹。通知。 184,编号4,273-296(2021).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Barylska}和\textit{A.Gogoli nn ska},Fundam。通知。184,编号4,273--296(2021;Zbl 1522.68357) 全文: 内政部 arXiv公司
邓肯·亚当森;Deligkas、Argyros;弗拉基米尔·古塞夫;伊戈尔·波塔波夫 关于晶体结构预测的能量最小化硬度。 (英语) Zbl 1515.82140号 芬丹。通知。 184,第3期,181-203(2021).MSC公司:82D25个 05年10月 05C22号 05C90年 2017年第68季度 92E10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Adamson}等人,Fundam。通知。184,编号3,181--203(2021;Zbl 1515.82140) 全文: 内政部
巴托斯·齐连斯基 一种非确定性的多集查询语言。 (英语) Zbl 1522.68182号 芬丹。通知。 184,编号2,141-180(2021).MSC公司:第68页,共15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.杰林滑雪},芬丹。通知。184,编号2,141--180(2021;Zbl 1522.68182) 全文: 内政部 arXiv公司
皮埃尔·甘蒂;埃琳娜·古铁雷斯;佩德罗·瓦莱罗 基于同余的有限树自动机透视图。 (英语) Zbl 1522.68268号 芬丹。通知。 184,编号1,1-47(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,Fundam。通知。184,编号1,1-47(2021;Zbl 1522.68268) 全文: 内政部 arXiv公司
Janicki,Ryszard(编辑);斯拉沃米尔·拉索塔(编辑);纳塔利亚·西多罗娃(编辑) 前言:Petri网和并发2020的应用和理论:精选论文的特刊。 (英语) Zbl 1494.68009号 芬丹。通知。 183,编号3-4,i-ii(2021).MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}(编辑)等人,Fundam。通知。183,编号3--4,i-ii(2021;Zbl 1494.68009) 全文: 内政部
蒂里·米格(Yann Thierry-Mieg) 符号和结构模型检查。 (英语) Zbl 1522.68349号 芬丹。通知。 183,编号3-4,319-342(2021).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Thierry-Mieg},芬达姆。通知。183,编号3-4319-342(2021;兹bl 1522.68349) 全文: 内政部 arXiv公司
安娜·卡伦科娃;乔塞普·卡莫纳;Polyvyany,Artem公司;马塞洛·拉罗莎 使用基于状态的区域理论自动修复具有非局部约束的过程模型。 (英语) Zbl 1522.68365号 芬丹。通知。 183,编号3-4,293-317(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kalenkova}等人,Fundam。通知。183,编号3--4,293--317(2021;Zbl 1522.68365) 全文: 内政部 arXiv公司
奥利维·芬克尔;Micha Skrzypczak 关于非确定性和明确的Petri网对无限单词的表达能力。 (英语) 兹比尔1522.68363 芬丹。通知。 183,编号3-4,243-291(2021).MSC公司:68问题85 03E15年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}和\textit{M.Skrzypczak},Fundam。通知。183,编号3--4,243--291(2021;Zbl 1522.68363) 全文: 内政部 arXiv公司
德克·法兰德;瓦迪姆·杰尼索夫;威尔·范德阿尔斯特。M.P.公司。 推断具有共享资源和队列的系统中未观察到的事件。 (英语) Zbl 1522.68361号 芬丹。通知。 183,编号3-4,203-242(2021).MSC公司:68问题85 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{D.Fahland}等人,Fundam。通知。183,编号3--4,203-242(2021;Zbl 1522.68361) 全文: 内政部 arXiv公司
泽维尔·阿拉米根;马林·博伊特;圣埃芬·高伯特 Petri网的分段仿射动态模型——应用于紧急呼叫中心。 (英语) Zbl 1522.68356号 芬丹。通知。 183,编号3-4169-201(2021).MSC公司:68问题85 14T90型 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,Fundam。通知。183,编号3--4,169-201(2021;Zbl 1522.68356) 全文: 内政部 arXiv公司
苏珊娜·多纳泰利(编辑);斯特凡·哈尔(编辑);斯拉沃米尔·拉索塔(编辑) 前言:2019年Petri网和并发的应用和理论:精选论文特刊。 (英语) Zbl 1522.68024号 芬丹。通知。 183,编号1-2,v-vi(2021).MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Donatelli}(编辑)等人,Fundam。通知。183,编号1-2,v-vi(2021;兹bl 1522.68024) 全文: 内政部
特雷杜普,罗尼 有界Petri网综合的复杂性。 (英语) Zbl 1522.68372号 芬丹。通知。 183,编号1-2,125-167(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.特雷杜普},芬丹。通知。183,编号1--2,125-167(2021;Zbl 1522.68372) 全文: 内政部 arXiv公司
莱姆,迪迪埃;奥利维尔·H·鲁克斯。;夏洛特·塞纳 参数时间Petri网的代价问题。 (英语) Zbl 1522.68367号 芬丹。通知。 183,编号1-2,97-123(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}等人,Fundam。通知。183,编号1--2,97-123(2021;Zbl 1522.68367) 全文: 内政部 arXiv公司
戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 研究Petri网中步骤的可逆性。 (英语) Zbl 1522.68359号 芬丹。通知。 183,编号1-2,67-96(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}等人,Fundam。通知。183,编号1--2,67-96(2021;Zbl 1522.68359) 全文: 内政部 arXiv公司
阿兰·芬克尔;谢尔盖·哈达德;伊戈尔·赫梅尔尼茨基 递归Petri网中的可覆盖性、终止性和有限性。 (英语) 兹比尔1522.68362 芬丹。通知。 183,编号1-2,33-66(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人,Fundam。通知。183,编号1--2,33-66(2021;Zbl 1522.68362) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队 过渡系统的联接和乘积及其在Petri网综合中的应用。 (英语) Zbl 1522.68360号 芬丹。通知。 183,编号1-2,1-31(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers},芬丹。通知。183,编号1--2,1--31(2021;Zbl 1522.68360) 全文: 内政部 arXiv公司
约阿希姆·韦勒 永久自由选择Petri网是透明的。使用CP-穷举证明范德阿尔斯特的一个定理。 (英语) Zbl 1522.68373号 芬丹。通知。 182,第4期,363-393(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Wehler},芬丹。通知。182,编号4,363--393(2021;Zbl 1522.68373) 全文: 内政部 arXiv公司
谢正伟;邱道文;蔡光亚;乔泽夫·格鲁斯卡;保罗·马特乌斯 测试布尔函数属性。 (英语) Zbl 1522.68237号 芬丹。通知。 182,编号4,321-344(2021).MSC公司:2012年第68季度 06E30年 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhengwei}等人,Fundam。通知。182,第4号,321--344(2021;Zbl 1522.68237) 全文: 内政部 arXiv公司
苏亚娜·杰西。;T·M·拉贾拉克斯米。;印度拉贾辛格;拉詹·桑达拉。 蝶形网络中的边缘强制。 (英语) 兹比尔1521.05142 芬丹。通知。 182,编号3,285-299(2021).MSC公司:05C69号 05C82号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Jessy}等人,Fundam。通知。182,第3号,285--299(2021;Zbl 1521.05142) 全文: 内政部 arXiv公司
Jin、Yu;宋博生;李燕燕;朱莹 使用带活性膜的P系统解决独立集问题的无时间解决方案。 (英语) Zbl 1522.68213号 芬丹。通知。 182,第3号,243-255(2021).MSC公司:2007年第68季度 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jin}等人,Fundam。通知。182,第3号,243--255(2021;Zbl 1522.68213) 全文: 内政部 arXiv公司
Jörg Keller(编辑);沃伊切赫·彭泽克(编辑) 前言:并发在系统设计中的应用:2019年ACSD精选论文特刊。 (英语) 兹比尔1494.68010 芬丹。通知。 182,第1号,v-vi(2021).MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Keller}(编辑)和\textit{W.Penczek}(主编),Fundam。通知。182,第1号,v-vi(2021;Zbl 1494.68010) 全文: 内政部
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森;玛丽·斯托琳加 攻击故障树的参数分析。 (英语) Zbl 1491.68034号 芬丹。通知。 182,第1号,69-94(2021).MSC公司:68平方米25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,69-94(2021;Zbl 1491.68034) 全文: 内政部 arXiv公司
埃蒂安·安德烈;艾曼纽尔·科夸德;劳伦·弗里堡;杰瑞,贾维尔;戴维·莱森斯 反应性约束下发射器飞行控制系统的参数可调度性分析。 (英语) Zbl 1520.93344号 芬丹。通知。 182,第1期,31-67(2021).MSC公司:93C85号 60年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,31-67(2021;Zbl 1520.93344) 全文: 内政部 arXiv公司
保罗·费利;马西米利亚诺·德·利奥尼;马可·蒙塔利 可变条件下数据软件过程模型的稳健性验证。 (英语) Zbl 1522.68314号 芬丹。通知。 182,编号1,1-29(2021).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Felli}等人,Fundam。通知。182,编号1,1--29(2021;Zbl 1522.68314) 全文: 内政部
罗伯托·戈里埃里 具有无声移动的BPP网络的因果语义。 (英语) Zbl 1496.68224号 芬丹。通知。 180,第3号,179-249(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri},芬丹。通知。180,编号3,179--249(2021;Zbl 1496.68224) 全文: 内政部
Mika Hirvensalo(编辑);弗朗蒂舍克先生(编辑);Daniel Průsh a,丹尼尔(编辑) 自动机和应用的非经典模型IX.前言。 (英语) Zbl 1475.00106号 芬丹。通知。 180,第1号,v-vi(2021).MSC公司:00B25型 68-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hirvensalo}(编辑)等人,Fundam。通知。180,编号1--2,v-vi(2021;Zbl 1475.00106) 全文: 内政部
王启超 加权重新启动自动机所接受的语言。 (英语) Zbl 1519.68125号 芬丹。通知。 180,编号1-2,151-177(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang},Fundam(范达姆)。通知。180,编号1--2,151-177(2021;Zbl 1519.68125) 全文: 内政部
比安卡·特鲁特 使用子区域选择语言的上下文语法的生成能力。 (英语) Zbl 1519.68115号 芬丹。通知。 180,编号1-2,123-150(2021).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Truthe},芬达姆。通知。180,编号1--2,123-150(2021;Zbl 1519.68115) 全文: 内政部
乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗 非自嵌入文法和描述性复杂性。 (英语) 兹伯利1519.68113 芬丹。通知。 180,编号1-2103-122(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}和\textit{L.Prigioniero},Fundam。通知。180,编号1--2,103-122(2021;Zbl 1519.68113) 全文: 内政部
弗里德里希·奥托 无辅助符号重启自动机的完整分类。 (英语) Zbl 1519.68123号 芬丹。通知。 180,编号1-2,77-101(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto},芬达姆。通知。180,编号1--2,77-101(2021;Zbl 1519.68123) 全文: 内政部
安德烈亚斯·马尔彻 插入系统和相关模型的可决定性问题。 (英语) Zbl 1519.68112号 芬丹。通知。 180,编号1-2,53-76(2021).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher},芬丹。通知。180,编号1--2,53-76(2021;Zbl 1519.68112) 全文: 内政部
马库斯·霍尔泽;马丁·库特里布;弗里德里希·奥托 两方面严格的本地可测试语言。 (英语) Zbl 1519.68120号 芬丹。通知。 180,编号1-2,29-51(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Fundam。通知。180,编号1--2,29-51(2021;Zbl 1519.68120) 全文: 内政部
亨宁费尔瑙;马丁·库特里布;马蒂亚斯·温德兰特 自验证下推和队列自动机。 (英语) Zbl 1519.68117号 芬丹。通知。 180,编号1-2,1-28(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人,Fundam。通知。180,编号1--2,1--28(2021;Zbl 1519.68117) 全文: 内政部
科伊夫卡、兹比恩克;亚历山大·梅杜纳 具有一个非文本生成的分散上下文文法在计算上是完整的。 (英语) Zbl 1519.68110号 芬丹。通知。 179,编号4,361-384(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Křivka}和\textit{A.Meduna},Fundam。通知。179,编号4,361--384(2021;Zbl 1519.68110) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬丹。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321--344(2021;Zbl 1519.68156) 全文: 内政部 arXiv公司
加布里埃拉·马丁·托雷斯 无限指数不可分辨关系下语言的粗逼近。 (英语) Zbl 1519.68121号 芬丹。通知。 179,编号3,275-293(2021).MSC公司:65年第68季度 08A70号 第68季度第70季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Martín Torres},Fundam。通知。179,编号3,275--293(2021;Zbl 1519.68121) 全文: 内政部
罗伯托·巴布蒂;帕斯奎尔·博韦;戈丽,罗伯塔;达马斯·格鲁斯卡;弗朗西丝卡·列维;保罗·米拉佐 将阈值布尔网络编码到反应系统中,用于分析基因调控网络。 (英语) Zbl 1519.68084号 芬丹。通知。 179,编号2,205-225(2021).MSC公司:2007年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,基金会。通知。179,编号2,205--225(2021;Zbl 1519.68084) 全文: 内政部
西内姆盖蒂尔·亚曼;埃斯特班·帕维斯;拉尔斯·格伦斯克 随机正则表达式的定量验证。 (英语) Zbl 1519.68135号 芬丹。通知。 179,编号2,135-163(2021).MSC公司:60年第68季度 03B70号 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{S.Getir Yaman}等人,Fundam。通知。179,编号2,135--163(2021;Zbl 1519.68135) 全文: 内政部
萨米拉·阿基利;马蒂亚斯·威德利奇 分布式复杂事件处理效率的推理。 (英语) Zbl 1519.68155号 芬丹。通知。 179,编号2,113-134(2021).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{S.Akili}和\textit{M.Weidlich},Fundam。通知。179,编号2,113--134(2021;Zbl 1519.68155) 全文: 内政部
路德威克·查贾 基本因果结构的扩展。 (英语) Zbl 1519.68159号 芬丹。通知。 179,编号2,93-111(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja},芬丹。通知。179,编号2,93--111(2021;Zbl 1519.68159) 全文: 内政部
张奎泽 离散事件系统分散状态检测和故障诊断/预测的统一方法。 (英语) Zbl 1519.68127号 芬丹。通知。 181,第4期,339-371(2021).MSC公司:65年第68季度 2017年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},Fundam。通知。181,编号4,339--371(2021;Zbl 1519.68127) 全文: 内政部 arXiv公司
Wil M.P.范德阿尔斯特。 拥有家庭集群的自由选择网络是幸运的。 (英语) Zbl 1519.68167号 芬丹。通知。 181,编号4,273-302(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst},芬丹。通知。181,编号4,273--302(2021;Zbl 1519.68167) 全文: 内政部 arXiv公司
杰罗姆·杜兰·洛斯(编辑);贾科·卡里(编辑);谢尔盖·弗兰(编辑) 机器、计算和通用性专题(MCU 2018)。前言。 (英语) Zbl 1477.68012号 芬丹。通知。 181,编号2-3,i-iii(2021).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Durand-Lose}(编辑)等人,Fundam。通知。181,编号2--3,i-iii(2021;Zbl 1477.68012) 全文: 内政部
阿提姆·阿尔哈佐夫;鲁道夫·弗伦德;塞尔吉·伊万诺夫;玛丽安·奥斯瓦尔德 顺序文法控制机制之间的关系。 (英语) Zbl 1519.68107号 芬丹。通知。 181,编号2-3,239-271(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Alhazov}等人,Fundam。通知。181,编号2--3,239--271(2021;Zbl 1519.68107) 全文: 内政部
贝内德克·纳吉;萨恩多·瓦莱伊 循环区间值计算机和(红-绿)图灵机的模拟。 (英语) Zbl 1519.68101号 芬丹。通知。 181,编号2-3,213-238(2021).MSC公司:2009年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy}和\textit{S.Vályi},Fundam。通知。181,编号2-3-213-238(2021;兹bl 1519.68101) 全文: 内政部
亨宁费尔瑙;拉克希曼·库普萨米;鲁弗斯·奥拉黛勒。;因杜马提·拉曼 改进了简单半条件文法的描述复杂性结果。 (英语) Zbl 1519.68109号 芬丹。通知。 181,编号2-3,189-211(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人,Fundam。通知。181,编号2--3,189-211(2021;Zbl 1519.68109) 全文: 内政部
凯文·佩罗;佩罗廷,帕科姆;西尔万·塞内 关于布尔自动机网络(de)合成。 (英语) Zbl 1519.68152号 芬丹。通知。 181,编号2-3,163-188(2021).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Perrot}等人,Fundam。通知。181,编号2--3,163-188(2021;Zbl 1519.68152) 全文: 内政部
理查德·怀曼 物理计算复杂性和一阶逻辑。 (英语) Zbl 1520.03010号 芬丹。通知。 181,编号2-3,129-161(2021).MSC公司:03日第10天 2015年3月1日 03D78号 2015年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Whyman},芬丹。通知。181,编号2--3,129-161(2021;Zbl 1520.03010) 全文: 内政部
维利亚姆·格弗特;贝德纳罗娃,祖扎纳 (实时)多计数器自动机的最小计数器大小。 (英语) 兹比尔1519.68119 芬丹。通知。 181,编号2-3,99-127(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}和\textit{Z.Bednárová},Fundam。通知。181,编号2--3,99-127(2021;Zbl 1519.68119) 全文: 内政部
坎通纳,多梅尼科;安德烈亚·德·多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。一: 布尔案例的分类。 (英语) Zbl 1498.03112号 芬丹。通知。 181,编号1,37-69(2021).MSC公司:03E30年 03B25号 03B35型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Fundam。通知。181,编号1,37--69(2021;Zbl 1498.03112) 全文: 内政部
简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 持续随机无干扰。 (英语) Zbl 1519.68163号 芬丹。通知。 181,编号1,1-35(2021).MSC公司:68问题85 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人,Fundam。通知。181,编号1,1-35(2021;Zbl 1519.68163) 全文: 内政部
Micha Skrzypczak(编辑);彼得·霍夫曼(编辑) 特刊:语言理论的发展(DLT 2019)。前言。 (英语) Zbl 1472.68010号 芬丹。通知。 180,第4号,i-ii(2021).MSC公司:68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Skrzypczak}(编辑)和\textit{P.Hofman}(主编),Fundam。通知。180,第4号,i-ii(2021;Zbl 1472.68010) 全文: 内政部
阿列克西·萨雷拉 通过计算因子来分隔语言中的单词。 (英语) Zbl 1497.68279号 芬丹。通知。 180,编号4,375-393(2021).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Saarela},基金会。通知。180,编号4375-393(2021;兹bl 1497.68279) 全文: 内政部
丹尼斯·库珀伯格;劳雷琳·皮诺;Damien Pous Büchi自动机的共导算法。 (英语) Zbl 1497.68272号 芬丹。通知。 180,第4号,351-373(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuperberg}等人,Fundam。通知。180,编号4,351--373(2021;Zbl 1497.68272) 全文: 内政部
保罗·加斯廷;阿马尔德夫·曼努埃尔;R.戈文德。 可逆正则语言:逻辑和代数特征。 (英语) Zbl 1497.68266号 芬丹。通知。 180,第4号,333-350(2021).MSC公司:65年第68季度 03B70号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,Fundam。通知。180,编号4,333--350(2021;Zbl 1497.68266) 全文: 内政部
埃戈尔·多布朗拉沃夫;尼基塔·多布朗拉沃夫;亚历山大·奥霍金 关于双向有限自动机所接受的最短字符串的长度。 (英语) Zbl 1497.68257号 芬丹。通知。 180,编号4,315-331(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Dobronravov}等人,Fundam。通知。180,编号4,315--331(2021;Zbl 1497.68257) 全文: 内政部
科斯坦扎·卡塔拉诺;乌默·阿兹法尔;卢多维奇·查理尔;Jungers,拉斐尔·M。 NZ矩阵本原集的(k)-交会时间的线性界。 (英语) Zbl 1497.68253号 芬丹。通知。 180,第4号,289-314(2021).MSC公司:65年第68季度 15A30型 15个B48 65年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Catalano}等人,Fundam。通知。180,编号4,289--314(2021;Zbl 1497.68253) 全文: 内政部
图菲克·贝努希巴 一种用于最优概率模型结构综合的多级细化方法。 (英语) Zbl 1497.68131号 芬丹。通知。 179,编号1,1-33(2021).MSC公司:68N99型 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{T.贝努希巴},芬丹。通知。179,编号1,1-33(2021;Zbl 1497.68131) 全文: 内政部
康雄,西尔万;乔治·德尔扎诺;安吉洛·费兰多 通过Cubicle模型检查器对分布式协议进行声明性参数化验证。 (英语) Zbl 1497.68293号 芬丹。通知。 178,第4期,347-378(2021).MSC公司:60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,Fundam。通知。178,编号4,347--378(2021;Zbl 1497.68293) 全文: 内政部
伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 消息传递并发程序的因果一致重播可逆语义。 (英语) 兹比尔1482.68131 芬丹。通知。 178,编号3,229-266(2021).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,Fundam。通知。178,编号3,229--266(2021;Zbl 1482.68131) 全文: 内政部
托马斯·贾斯特扎布;捷克,Zbigniew J。;沃伊切赫·维克佐雷克 最小非确定性有限自动机推理的并行算法。 (英语) Zbl 1482.68114号 芬丹。通知。 178,第3期,203-227(2021).MSC公司:第68季度32 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Jastrzab}等人,Fundam。通知。178,编号3,203--227(2021;Zbl 1482.68114) 全文: 内政部
阿迪纳耶夫;伊塔马尔·斯坦因 单规则字符串重写系统的约简图中的菱形子图。 (英语) Zbl 1482.68115号 芬丹。通知。 178,编号3,173-185(2021).MSC公司:2012年第68季度 05C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Adinayev}和\textit{I.Stein},Fundam。通知。178,编号3,173--185(2021;Zbl 1482.68115) 全文: 内政部 arXiv公司
马修·黑格(编辑);伊戈尔·波塔波夫(编辑) 前言:第十一届可达性问题国际研讨会专刊(RP 2017)。 (英语) Zbl 1477.68016号 芬丹。通知。 178,编号1-2,v-vi(2021).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hague}(编辑)和\textit{I.Potapov}(主编),Fundam。通知。178,编号1--2,v-vi(2021;Zbl 1477.68016) 全文: 内政部
安蒂·瓦尔马里;沃尔特·福格勒 顽固的设置,冻结的行动,公平的测试。 (英语) Zbl 1478.68182号 芬丹。通知。 178,编号1-2,139-172(2021).MSC公司:60年第68季度 06A07年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{W.Vogler},Fundam。通知。178,编号1--2,139-172(2021;Zbl 1478.68182) 全文: 内政部
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 (英语) Zbl 1478.68136号 芬丹。通知。 178,编号1-2,101-138(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},芬丹。通知。178,编号1--2,101-138(2021;Zbl 1478.68136) 全文: 内政部 arXiv公司
米尔卡胡塔加隆 多缓冲仿真的拓扑特征。 (英语) Zbl 1478.68129号 芬丹。通知。 178,编号1-2,77-99(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutagalung},芬丹。通知。178,编号1--2,77-99(2021;Zbl 1478.68129) 全文: 内政部
艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 复制流串传感器。 (英语) 兹比尔1478.68125 芬丹。通知。 178,编号1-2,59-76(2021).MSC公司:65年第68季度 05年3月 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}和\textit{P.-A.Reynier},Fundam。通知。178,编号1--2,59-76(2021;Zbl 1478.68125) 全文: 内政部
弗兰克·卡塞兹;彼得·格约尔·詹森;拉森·金(Larsen Kim Guldstrand) 使用跟踪抽象细化的实时程序的验证和参数合成。 (英语) Zbl 1478.68053号 芬丹。通知。 178,编号1-2,31-57(2021).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Fundam。通知。178,编号1--2,31-57(2021;Zbl 1478.68053) 全文: 内政部 arXiv公司
弗洛里安·布鲁斯;马丁·兰格;艾蒂安·洛兹 模型检查尾递归高阶不动点逻辑的复杂性。 (英语) Zbl 1478.68150号 芬丹。通知。 178,编号1-2,1-30(2021).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人,Fundam。通知。178,编号1--2,1--30(2021;Zbl 1478.68150) 全文: 内政部
蒂亚加拉扬,P.S。;杨绍发 分布式马尔可夫链理论。 (英语) Zbl 1497.68353号 芬丹。通知。 175,编号1-4,301-325(2020).MSC公司:68问题85 60J20型 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{S.Yang},Fundam。通知。175,编号1--4,301-325(2020;Zbl 1497.68353) 全文: 内政部
Janicki,Ryszard;乌卡斯·米库尔斯基 步迹和区间迹的代数结构。 (英语) Zbl 1497.68345号 芬丹。通知。 175,编号1-4,253-280(2020).MSC公司:68问题85 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{Ł.Mikulski},Fundam。通知。175,编号1--4,253--280(2020;Zbl 1497.68345) 全文: 内政部
沃伊切赫·贾姆罗加;比塔·科尼科夫斯卡;达米安·库皮耶夫斯基;沃伊切赫·彭泽克 战略能力的多值验证。 (英语) Zbl 1497.68307号 芬丹。通知。 175,编号1-4207-251(2020).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Fundam。通知。175,编号1--4,207--251(2020;Zbl 1497.68307) 全文: 内政部
维萨·哈拉瓦;特罗·哈尔朱;萨赫拉,埃萨 用字母对字母的替换来洗牌单词。 (英语) Zbl 1497.68267号 芬丹。通知。 175,编号1-4201-206(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Halava}等人,Fundam。通知。175,编号1--4,201-206(2020;Zbl 1497.68267) 全文: 内政部
达妮埃拉·热那瓦;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);约诺斯卡,纳塔沙 伴随物和反应系统的基本运动。 (英语) Zbl 1497.68189号 芬丹。通知。 175,第1-4号,187-199(2020).MSC公司:2007年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Genova}等人,Fundam。通知。175,编号1--4,187-199(2020;Zbl 1497.68189) 全文: 内政部
费比安·弗雷;朱拉吉·赫罗姆科维奇;朱哈尼Karhumäki 正则语言中的根和幂:通过有限自动机识别非正则属性。 (英语) Zbl 1497.68263号 芬丹。通知。 175,编号1-4,173-185(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Frei}等人,Fundam。通知。175,编号1--4,173-185(2020;Zbl 1497.68263) 全文: 内政部
德塞尔,约格;马克·芬塔默 Petri网的停止变换。 (英语) Zbl 1497.68334号 芬丹。通知。 175,编号1-4,143-172(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{M.Finthammer},Fundam。通知。175,编号1--4,143-172(2020;Zbl 1497.68334) 全文: 内政部
乔塞普·卡莫纳;利亚斯·帕多罗;路易斯·德里卡多 使用松弛标记的灵活过程模型映射。 (英语) Zbl 1497.68330号 芬丹。通知。 175,编号1-4,123-141(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmona}等人,Fundam。通知。175,编号1-4123-141(2020;兹bl 1497.68330) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 目标导向Petri网合成。 (英语) Zbl 1497.68327号 芬丹。通知。 175,编号1-4,97-122(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,Fundam。通知。175,编号1--4,97-122(2020;Zbl 1497.68327) 全文: 内政部
阿西尔,约翰;雷蒙德·魔鬼队;汉娜·克劳代尔 具有周期性定时任务的多智能体系统的动态探索。 (英语) Zbl 1497.68479号 芬丹。通知。 175,编号1-4,59-95(2020).MSC公司:68T42型 68问题85 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{J.Arcile}等人,Fundam。通知。175,编号1--4,59-95(2020;Zbl 1497.68479) 全文: 内政部 arXiv公司
Wil M.P.范德阿尔斯特。;亚历山德罗·贝尔蒂 发现以对象为中心的Petri网。 (英语) Zbl 1497.68354号 芬丹。通知。 175,编号1-4,1-40(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}和\textit{A.Berti},Fundam。通知。175,编号1--4,1--40(2020;Zbl 1497.68354) 全文: 内政部 arXiv公司
埃里克科普琴斯基 公理化矩形网格,没有额外的非一元关系。 (英语) Zbl 1497.68226号 芬丹。通知。 176,第2期,129-138(2020).MSC公司:19年第68季度 03C13号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kopczyñski},芬丹。通知。176,第2号,129--138(2020;Zbl 1497.68226) 全文: 内政部 arXiv公司
刘刘成;易文美;杨倩;彭,洪;王军 具有计算函数阈值的小型通用数值P系统。 (英语) Zbl 1497.68196号 芬丹。通知。 176,编号1,43-59(2020).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,Fundam。通知。176,编号1,43-59(2020;Zbl 1497.68196) 全文: 内政部
莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 并发约束语言的动态切片。 (英语) Zbl 1497.68098号 芬丹。通知。 177,编号3-4,331-357(2020).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人,Fundam。通知。177,编号3--4,331--357(2020;Zbl 1497.68098) 全文: 内政部 arXiv公司
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 (英语) Zbl 1497.68235号 芬丹。通知。 177,编号3-4,297-329(2020).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Fundam。通知。177,编号3--4,297--329(2020;Zbl 1497.68235) 全文: 内政部 arXiv公司
玛丽亚·阿尔普特;丹尼尔·帕尔多;艾丽西亚·维拉纽埃娃 符号框架(mathbb{K})中的抽象契约合成与验证。 (英语) Zbl 1497.68106号 芬丹。通知。 177,编号3-4,235-273(2020).MSC公司:68号30 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Fundam。通知。177,编号3--4,235-273(2020;Zbl 1497.68106) 全文: 内政部
艾尔维拉·阿尔伯特;尼古拉斯·贝齐吉安尼斯;弗兰克·德波尔;马丁·马丁,恩里克 从具有协作调度的参与者到Haskell的正式的、保留资源消耗的翻译。 (英语) Zbl 1497.68090号 芬丹。通知。 177,编号3-4,203-234(2020).MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Fundam。通知。177,编号3--4,203-234(2020;Zbl 1497.68090) 全文: 内政部
Kheirfam,贝鲁兹 一种新的宽邻域线性优化的预测-校正不可行内点算法。 (英语) Zbl 1501.90112号 芬丹。通知。 177,第2期,141-156(2020).MSC公司:90摄氏51度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{B.Kheirfam},芬丹。通知。177,编号2,141--156(2020;Zbl 1501.90112) 全文: 内政部
Purnata Ghosal公司;Rao B.V.拉加文德拉。 关于证明多线性代数模型的参数化尺寸下限。 (英语) Zbl 1497.68224号 芬丹。通知。 177,第1号,69-93(2020).MSC公司:2017年第68季度 2006年第68季度 第68季度27 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Ghosal}和\textit{R.B.V.Raghavendra},Fundam。通知。177,编号1,69-93(2020;Zbl 1497.68224) 全文: 内政部
安吉洛·奥迪;里卡多·拉斯科尼 分析了量子电路编译问题中基于启发式的随机搜索策略。 (英语) 兹比尔1498.68293 芬丹。通知。 174,编号3-4,259-281(2020).MSC公司:68T20型 2012年第68季度 68瓦20 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Oddi}和\textit{R.Rasconi},Fundam。通知。174,编号3--4,259--281(2020;Zbl 1498.68293) 全文: 内政部
很多,费利普;圣地亚哥内格雷特;卡梅·罗格;琼·拉蒙·索勒 在教室里解决团队组成问题。 (英语) Zbl 1471.68254号 芬丹。通知。 174,第1期,第83-101页(2020年).MSC公司:68T20型 2017年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Manyá}等人,Fundam。通知。174,编号1,83--101(2020;Zbl 1471.68254) 全文: 内政部
斯蒂芬·斯基里克;安德烈·斯特凡内斯库;何塞·梅塞盖尔 重写理论的基于构造函数的可达性逻辑。 (英语) Zbl 1471.68076号 芬丹。通知。 173,编号4,315-382(2020).MSC公司:68号30 03B44号 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人,Fundam。通知。173,第4号,315--382(2020;Zbl 1471.68076) 全文: 内政部
迈克尔·哈纳斯 结合了库里的静态和动态合同检查。 (英语) Zbl 1471.68065号 芬丹。通知。 173,第4期,285-314(2020年).MSC公司:68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.哈纳斯},芬丹。通知。173,第4号,285--314(2020;Zbl 1471.68065) 全文: 内政部
托姆·吕维思 动态算法中逻辑收缩的约束处理规则的合理性:理论、实现和复杂性。 (英语) Zbl 1471.68049号 芬丹。通知。 173,第4期,253-283(2020年).MSC公司:68N17号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Frühwirth},芬丹。通知。173,第4号,253--283(2020;Zbl 1471.68049) 全文: 内政部
乔治亚娜·卡尔泰斯;穆罕默德·礼萨穆萨维;哈古比尔·辛格 轩尼诗-米尔纳逻辑中的安全因果推理。 (英语) Zbl 1471.68133号 芬丹。通知。 173,编号2-3,217-251(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}等人,Fundam。通知。173,编号2--3,217--251(2020;Zbl 1471.68133) 全文: 内政部
爱荷华州卢什坦;娜塔莉亚·莫昂;☑特拉安·弗洛林(Traian Florin) 一种多分类的多元模态逻辑。 (英语) Zbl 1471.03047号 芬丹。通知。 173,编号2-3,191-215(2020).MSC公司:03B45 03B70号 03G15年 03G25号 06E25年 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Leuštean}等人,Fundam。通知。173,编号2--3,191-215(2020;Zbl 1471.03047) 全文: 内政部 arXiv公司
维奥里卡Sofrone-Stokkerman 参数化系统:验证和综合。 (英语) Zbl 1471.68155号 芬丹。通知。 173,编号2-3,91-138(2020).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans},芬丹。通知。173,编号2--3,91-138(2020;Zbl 1471.68155) 全文: 内政部 arXiv公司
普里斯温内尔·保罗 关于标记插入语法的Szilard语言。 (英语) Zbl 1464.68182号 芬丹。通知。 172,编号1,53-72(2020).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Paul},Fundam。通知。172,编号1,53--72(2020;Zbl 1464.68182) 全文: 内政部