周思忠;吴建成 图允许路径因子的两个充分条件。 (英语) Zbl 07831250号 芬丹。通知。 191,编号1,67-77(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhou}和\textit{J.Wu},Fundam。通知。191,编号1,67-77(2024;Zbl 07831250) 全文: 内政部 arXiv公司
范德沃夫,Jan Martijn E.M。;安德烈·里夫金;马可·蒙塔利;Polyvyany,Artem公司 带标识符的Petri网的正确性概念。 (英语) Zbl 07801677号 芬丹。通知。 190,编号2-4,159-207(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.M.van der Werf}等人,Fundam。通知。190,编号2--4,159-207(2024;Zbl 07801677) 全文: 内政部 arXiv公司
洛依茨海露;阿格拉瓦尔,普拉奈 等待网络:状态类和分类。 (英语) Zbl 07801675号 芬丹。通知。 190,编号2-4,63-107(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouët}和\textit{P.Agrawal},Fundam。通知。190,编号2--4,63-107(2024;Zbl 07801675) 全文: 内政部 arXiv公司
尼尔贾·姆哈斯卡;西弗·史密斯。 串覆盖:一项调查。 (英语) Zbl 07798898号 芬丹。通知。 190,第1期,17-45(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Mhaskar}和\textit{W.F.Smyth},Fundam。通知。190,编号1,17-45(2022;Zbl 07798898) 全文: 内政部 arXiv公司
亚历山大·比尔格拉姆;彼得·詹森(Peter G.Jensen)。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 有色Petri网的有效展开方法。 (英语) Zbl 07770062号 芬丹。通知。 189,编号3-4,297-320(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Bilgram}等人,Fundam。通知。189,编号3--4,297--320(2022;Zbl 07770062) 全文: 内政部
雷蒙德·魔鬼队;特雷杜普,罗尼 关于使转换系统可由布尔网实现的技术的复杂性。 (英语) Zbl 07770061号 芬丹。通知。 189,编号3-4,261-296(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{R.Tredup},Fundam。通知。189,编号3-4-261-296(2022;兹bl 07770061) 全文: 内政部 arXiv公司
马尔科·萨利泽;马丁·兰格 简单神经网络中的可达性。 (英语) Zbl 07770060号 芬丹。通知。 189,编号3-4,241-259(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Sälzer}和\textit{M.Lange},Fundam。通知。189,编号3--4,241--259(2022;Zbl 07770060) 全文: 内政部 arXiv公司
玛丽亚·科什;托雷·科伊;佛罗里达州马内亚;斯特凡·西默 单词中缺少子序列。 (英语) Zbl 07770059号 芬丹。通知。 189,编号3-4,199-240(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kosche}等人,Fundam。通知。189,编号3--4,199-240(2022;Zbl 07770059) 全文: 内政部
杰拉德,燕 从一个或两个X射线重建凸集。 (英语) Zbl 07737449号 芬丹。通知。 189,第2期,113-143(2022).MSC公司:68单位05 52二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gerard},芬丹。通知。189,编号2,113--143(2022;Zbl 07737449) 全文: 内政部 arXiv公司
马修·塞科;拉霍斯·哈伊杜;罗布·提德曼 离散层析成像的误差校正。 (英语) Zbl 07737448号 芬丹。通知。 189,编号2,91-112(2022).MSC公司:94A08型 92 C55 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ceko}等人,基金会。通知。189,编号2,91-112(2022;Zbl 07737448) 全文: 内政部 arXiv公司
克里斯托夫·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公司
Kłopotek、Mieczys \322»aw A。;Wierzchoán,Sławomir T。;罗伯特·A·Kłopotek。 多模式网络中个性化PageRank的网络容量。 (英语) Zbl 07737446号 芬丹。通知。 189,编号1,49-68(2022).MSC公司:68M10个 05C65号 05C81号 68兰特 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Kłopotek}等人,Fundam。通知。189,编号1,49--68(2022;Zbl 07737446) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 加权图的展开和覆盖。 (英语) Zbl 07737445号 芬丹。通知。 189,编号1,1-47(2022).MSC公司:05C70号 05C22号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},芬丹。通知。189,编号1,1-47(2022;Zbl 07737445) 全文: 内政部 arXiv公司
拉杰什瓦里,S。;M·拉杰什。 将三元立方体嵌入到特定圆柱体和树中的精确线长。 (英语) Zbl 07737444号 芬丹。通知。 188,编号4,269-284(2022).MSC公司:68M10个 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Rajeshwari}和\textit{M.Rajesh},Fundam。通知。188,编号4,269--284(2022;Zbl 07737444) 全文: 内政部 arXiv公司
彼得·扬查尔;瓦利舍克(Valůsh ek,Jiří) 即时观察Petri网的结构活性。 (英语) Zbl 07687253号 芬丹。通知。 第3期第188页,第179-215页(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔}和\textit{J.瓦尔舍克},芬达姆。通知。188,编号3,179--215(2022;Zbl 07687253) 全文: 内政部 arXiv公司
大卫·巴罗齐尼;洛伦佐·克莱门特;托马斯·科尔科姆贝特;帕里斯(Pawe Parys) 成本自动机、安全方案和向下关闭。 (英语) 兹伯利07687252 芬丹。通知。 188,编号3,127-178(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Barozzini}等人,Fundam。通知。188,编号3,127--178(2022;Zbl 07687252) 全文: 内政部 arXiv公司
尤金·埃伯巴赫 关于$-演算中成本度量和元搜索算法的完整性。 (英语) Zbl 07687249号 芬丹。通知。 188,编号2,63-90(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Eberbach},芬丹。通知。188,编号2,63--90(2022;Zbl 07687249) 全文: 内政部 arXiv公司
亚历克西斯·贝丝;乔夫鲁特,基督徒 实加法理论中可定义性问题的可判定性。 (英语) Zbl 1523.03003号 芬丹。通知。 188,编号1,15-39(2022). 审核人:赛义德·萨利希(大不里士) MSC公司:03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bès}和\textit{C.Choffrut},芬丹。通知。188,编号1,15--39(2022;Zbl 1523.03003) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;克里斯托夫·韦尔泽尔 计算参数化Petri网的参数化不变量。 (英语) Zbl 07609826号 芬丹。通知。 187,编号2-4,197-243(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,基金会。通知。187,编号2--4,197-243(2022;Zbl 07609826) 全文: 内政部
雷蒙德·魔鬼队;特雷杜普,罗尼 具有受限位置环境的纯和不纯Petri网的合成:复杂性问题。 (英语) Zbl 07609824号 芬丹。通知。 187,编号2-4,139-165(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{R.Tredup},Fundam。通知。187,编号2--4,139-165(2022;Zbl 07609824) 全文: 内政部 arXiv公司
萨米·阿贝斯 概率并发系统简介。 (英语) Zbl 07609822号 芬丹。通知。 187,编号2-4,71-102(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Abbes},芬丹。通知。187,编号2--4,71-102(2022;Zbl 07609822) 全文: 内政部 arXiv公司
马库斯·雷德克 一维细胞自动机中通过粒子流实现的数守恒。 (英语) Zbl 1507.37016号 芬丹。通知。 187,第1期,31-59(2022).MSC公司:37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Redeker},芬达姆。通知。187,编号1,31-59(2022;Zbl 1507.37016) 全文: 内政部 arXiv公司
巴加特(Bhagat,Subhash);查克拉波蒂,阿比纳夫;达斯,比布蒂;克里希南德·穆霍帕迪亚 在无限网格中的会议节点上聚集。 (英语) Zbl 07609817号 芬丹。通知。 187,编号1,1-30(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhagat}等人,Fundam。通知。187,编号1,1--30(2022;Zbl 07609817) 全文: 内政部
西尔万·伦巴第;雅克·萨卡罗维奇 加权自动机的形态和最小化。 (英语) Zbl 07597933号 芬丹。通知。 186,编号1-4195-218(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lombardy}和\textit{J.Sakarovitch},Fundam。通知。186,编号1--4,195-218(2022;Zbl 07597933) 全文: 内政部 arXiv公司
伊琳娜·洛马佐娃。;弗拉基米尔·巴什金。;彼得·扬查尔 Petri网中的资源相似性是可判定的。 (英语) Zbl 07597932号 芬丹。通知。 186,编号1-4175-194(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Lomazova}等人,Fundam。通知。186,编号1--4,175-194(2022;Zbl 07597932) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 序理论树:一元二阶描述和正则性。 (英语) 兹伯利07597927 芬丹。通知。 186,编号1-4,89-120(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},芬丹。通知。186,编号1--4,89-120(2022;Zbl 07597927) 全文: 内政部 arXiv公司
Brütsch,贝内迪克特;沃尔夫冈·托马斯 求解Baire空间中的无限对策。 (英语) Zbl 07597926号 芬丹。通知。 186,编号1-4,63-88(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Brütsch}和\textit{W.Thomas},Fundam。通知。186,编号1--4,63-88(2022;Zbl 07597926) 全文: 内政部 arXiv公司
萨姆森·艾布拉姆斯基 结构与权力:新兴景观。 (英语) Zbl 07597923号 芬丹。通知。 186,编号1-4,1-26(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},Fundam。通知。186,编号1--4,1--26(2022;Zbl 07597923) 全文: 内政部 arXiv公司
林成宽;龚子良;洪春南;滕元雄 一种在BGM诊断模型下的超立方体网络的局部诊断算法。 (英语) Zbl 07556720号 芬丹。通知。 185,第4期,357-373(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Lin}等人,Fundam。通知。185,编号4357-373(2022;兹bl 07556720) 全文: 内政部 arXiv公司
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 非确定性迭代均匀有限状态传感器的计算和描述能力。 (英语) Zbl 07556719号 芬丹。通知。 185,第4号,337-356(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Fundam。通知。185,编号4,337--356(2022;Zbl 07556719) 全文: 内政部 arXiv公司
赫尔曼·格乌弗斯;罗伯·奈德佩尔特 de Bruijn早期证明检查器Automath的特点。 (英语) Zbl 07556718号 芬丹。通知。 185,编号4,313-336(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{R.Nederpelt},Fundam。通知。185,编号4,313--336(2022;Zbl 07556718) 全文: 内政部 arXiv公司
曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 用递归let实现高阶表达式的名义统一和匹配。 (英语) Zbl 07527238号 芬丹。通知。 185,编号3,247-283(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Fundam。通知。185,第3号,247--283(2022;Zbl 07527238) 全文: 内政部 arXiv公司
卡布雷拉·马丁内斯。;加西亚·戈梅斯,C。;Rodríguez-Velázquez,J.A。 词典产品图中的完全支配、罗马支配和完全罗马支配。 (英语) Zbl 07527236号 芬丹。通知。 185,编号3201-220(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cabrera Martínez}等人,Fundam。通知。185,编号3,201--220(2022;Zbl 07527236) 全文: 内政部 arXiv公司
奥利维尔·丹维 往返。 (英语) 兹标07523101 芬丹。通知。 185,编号2,115-183(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy},芬丹。通知。185,编号2,115--183(2022;Zbl 07523101) 全文: 内政部 arXiv公司
Fatès,纳齐姆;埃尔内·马科维奇;Siamak塔蒂 瓷砖上细胞自动机的自我稳定。 (英语) Zbl 07499425号 芬丹。通知。 185,编号1,27-82(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Fatès}等人,Fundam。通知。185,编号1,27--82(2022;Zbl 07499425)
弗朗西斯科·多尔斯;伊迪塔·佩兰托娃 关于保留回文丰富性的语素。 (英语) 兹伯利07499424 芬丹。通知。 185,编号1,1-25(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dolce}和\textit{E.Pelantová},Fundam。通知。185,编号1,1--25(2022;Zbl 07499424) 全文: 内政部
卡米拉·巴里尔斯卡;安娜·果戈林斯卡 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公司
瓦希德·凯卡;塞皮德阿加莫莱伊;阿里·莫哈德斯;穆罕默德·戈德西 聚集不确定性模型中的几何建模点。 (英语) 兹比尔1522.68653 芬丹。通知。 184,第3期,205-231(2021).MSC公司:68单位05 68层37 68周25 PDF格式BibTeX公司 XML格式引用 \textit{V.Keikha}等人,Fundam。通知。184,编号3,205--231(2021;Zbl 1522.68653) 全文: 内政部 arXiv公司
巴托斯·齐连斯基 一种非确定性的多集查询语言。 (英语) 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公司
奥利维·芬克尔;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公司
特雷杜普,罗尼 有界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公司
莱姆,迪迪埃;奥利维尔·鲁克斯。;夏洛特·塞纳 参数时间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网中的可覆盖性、终止性和有限性。 (英语) 兹比尔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公司
克劳德·苏里森 阿克曼函数的逆函数可以在线性时间内计算。 (英语) Zbl 1520.03011号 芬丹。通知。 182,第4号,345-361(2021).MSC公司:03日30分 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{C.Sureson},芬丹。通知。182,编号4,345--361(2021;Zbl 1520.03011) 全文: 内政部 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公司
穆罕默德·雷扎·扎拉比;纳斯罗拉·莫加达姆·查卡里 查询指向简单多边形中的可见性约束最小链接路径。 (英语) Zbl 1522.68683号 芬丹。通知。 182,编号3,301-319(2021).MSC公司:68单位05 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Zarrabi}和\textit{N.M.Charkari},Fundam。通知。182,第3号,301-319(2021;Zbl 1522.68683) 全文: 内政部 arXiv公司
金、余;宋博生;李燕燕;朱莹 使用带活性膜的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公司
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森;玛丽·斯托琳加 攻击故障树的参数分析。 (英语) 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) 全文: 内政部
保罗·马萨扎 多胞菌生成的动力系统方法。 (英语) Zbl 1519.68301号 芬丹。通知。 180,编号3,251-273(2021).MSC公司:68单位05 05B50号 11B83号 第37页第99页 68周05 PDF格式BibTeX公司 XML格式引用 \textit{P.Massazza},芬丹。通知。180,第3号,251--273(2021;Zbl 1519.68301) 全文: 内政部
罗伯托·戈里埃里 具有无声移动的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) 全文: 内政部
王启超 加权重新启动自动机所接受的语言。 (英语) 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.68280号 芬丹。通知。 179,第4号,399-416(2021).MSC公司:68层37 05B35号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wang},Fundam。通知。179,编号4,399--416(2021;Zbl 1519.68280) 全文: 内政部
Teh,Wen Chean先生;阿德里安·阿塔纳西乌;Denis C.K.Wong。 Parikh矩阵的矩阵半群的自由度问题。 (英语) Zbl 1519.68205号 芬丹。通知。 179,第4号,385-397(2021).MSC公司:68兰特 15A30型 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Teh}等人,Fundam。通知。179,编号4,385--397(2021;Zbl 1519.68205) 全文: 内政部
克日夫卡;亚历山大·梅杜纳 具有一个非文本生成的分散上下文文法在计算上是完整的。 (英语) 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.68267号 芬丹。通知。 179,编号3,295-319(2021).MSC公司:68立方英尺 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}等人,Fundam。通知。179,编号3,295--319(2021;Zbl 1519.68267) 全文: 内政部 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 07426110号 芬丹。通知。 179,编号3,239-274(2021).MSC公司:2011年1月6日 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lin}等人,Fundam。通知。179,编号3,239--274(2021;Zbl 07426110) 全文: 内政部
罗伯托·巴布蒂;帕斯奎尔·博韦;戈丽,罗伯塔;达马斯·格鲁斯卡;弗朗西丝卡·列维;保罗·米拉佐 将阈值布尔网络编码到反应系统中,用于分析基因调控网络。 (英语) 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.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公司
干ło,罗伯特 扭曲Jacobi交点上的压缩。 (英语) Zbl 1520.94050 芬丹。通知。 181,编号4,303-312(2021).MSC公司:94A60 14G50型 14H52型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dryło},芬丹。通知。181,编号4,303--312(2021;Zbl 1520.94050) 全文: 内政部
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公司
阿提姆·阿尔哈佐夫;鲁道夫·弗伦德;塞尔吉·伊万诺夫;玛丽安·奥斯瓦尔德 顺序文法控制机制之间的关系。 (英语) 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) 全文: 内政部
保罗·加斯廷;曼努埃尔,阿马尔德夫;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) 全文: 内政部
约瑟夫·什拉帕尔 数字Jordan曲线和曲面与闭合操作符相关。 (英语) Zbl 1497.68511号 芬丹。通知。 179,编号1,59-74(2021).MSC公司:68单位03 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{J.Šlapal},芬丹。通知。179,编号1,59--74(2021;Zbl 1497.68511) 全文: 内政部
塞林·马拉基;穆罕默德·杰姆尼 多核处理器上求解三角带线性系统的负载平衡静态调度。 (英语) 兹比尔1497.65064 芬丹。通知。 179,编号1,35-58(2021).MSC公司:65平方英尺 2005年5月 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{S.Marrakhi}和\textit{M.Jemni},Fundam。通知。179,编号1,35-58(2021;Zbl 1497.65064) 全文: 内政部
托马斯·贾斯特扎布;捷克,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 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) 全文: 内政部
达妮埃拉·热那瓦;亨德里克·扬(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) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 目标导向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) 全文: 内政部
迈阿扎梅尔;洛林·A·K·阿亚德。;朱利亚·贝尔纳迪尼;罗伯托·格罗西;科斯塔斯·S·伊利奥普洛斯。;纳迪亚·皮桑蒂;Pissis,Solon P。;乔瓦娜·罗森 比较退化字符串。 (英语) Zbl 1497.68587号 芬丹。通知。 175,编号1-4,41-58(2020).MSC公司:68瓦32 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Alzamel}等人,Fundam。通知。175,编号1--4,41-58(2020;Zbl 1497.68587) 全文: 内政部
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公司
坎通纳,多梅尼科;玛丽安娜·尼科洛西·阿斯蒙多;丹尼尔·弗朗西斯科·桑塔马利亚 描述逻辑推理服务的集合理论方法{数字图书馆}_\mathrm{D}^{4,\次}\)。 (英语) Zbl 1506.68134号 芬丹。通知。 176,编号3-4,349-384(2020).MSC公司:第68页第27页 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Fundam。通知。176,编号3--4,349--384(2020;Zbl 1506.68134) 全文: 内政部
程宝雷;范建熙;吕、羌;林成宽;李晓燕;陈、郭 在增广立方体中构造与节点无关的生成树。 (英语) Zbl 1497.68050号 芬丹。通知。 176,编号2,103-128(2020).MSC公司:68米15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Cheng}等人,Fundam。通知。176,编号2,103--128(2020;Zbl 1497.68050) 全文: 内政部