埃蒂安·格兰德让;塞奥·格伦特;Véronique梗 逻辑与实时细胞自动机程序中的归纳定义。 (英语) Zbl 07811868号 西奥。计算。科学。 987,文章ID 114355,59 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃·格兰德让}等人,Theor。计算。科学。987,文章ID 114355,59 p.(2024;Zbl 07811868) 全文: 内政部
迈克尔·贝科斯(Michael A.Bekos)。;马丁·格罗尼曼;法布里奇奥·蒙泰基亚尼;安东尼奥斯·西姆沃尼斯 具有恒定边顶点分辨率的平面图的凸网格图。 (英语) Zbl 07809120号 西奥。计算。科学。 982,文章ID 114290,10 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.A.Bekos}等人,Theor。计算。科学。982,文章ID 114290,10 p.(2024;Zbl 07809120) 全文: 内政部
奥斯卡隆德斯特伦;米歇尔·雷纳尔;Elad M.席勒。 自我稳定宽容的零分解二进制共识。 (英语) Zbl 07807461号 西奥。计算。科学。 989,文章ID 114387,21 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Lundsröm}等人,Theor。计算。科学。989,文章ID 114387,21 p.(2024;Zbl 07807461) 全文: 内政部 arXiv公司
马恒照;李建忠;高天鹏;高湘玉 具有两级存储器的图灵机:用于分析输入/输出复杂性的新计算模型。 (英语) Zbl 07785172号 西奥。计算。科学。 985,文章ID 114347,15 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Ma}等人,Theor。计算。科学。985,文章ID 114347,15 p.(2024;Zbl 07785172) 全文: 内政部
加詹德兰·普瓦南德兰;杰米·辛普森;Teh,Wen Chean先生 计算循环单词中的子单词及其Parikh矩阵。 (英语) Zbl 07785171号 西奥。计算。科学。 985,文章ID 114344,14 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Poovanandran}等人,Theor。计算。科学。985,文章ID 114344,14 p.(2024;Zbl 07785171) 全文: 内政部 arXiv公司
让·内罗 生成最大长度格雷循环wrt.\(k\)-字符替换的无循环算法。 (英语) 兹伯利07751514 西奥。计算。科学。 977,文章ID 114175,23 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{J.Néraud},Theor。计算。科学。977,文章ID 114175,23 p.(2023;Zbl 07751514) 全文: 内政部 arXiv公司
M.Utkan Gezer;奥兹德尼兹·多鲁;内瓦扎特·埃尔索伊;喂,A.C.杰姆 实时、恒定空间、恒定随机性验证器。 (英语) Zbl 07751502号 西奥。计算。科学。 976,文章ID 114155,10 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.U.Gezer}等人,Theor。计算。科学。976,文章ID 114155,10 p.(2023;Zbl 07751502) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 将随机右侧与通信重写规则相关联。 (英语) Zbl 07729838号 西奥。计算。科学。 971,文章ID 114062,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Theor。计算。科学。971,文章编号114062,7 p.(2023;Zbl 07729838) 全文: 内政部
奥利弗·里昂。;凯·萨洛马 站点定向删除语言操作的非确定性状态复杂性。 (英语) Zbl 07715624号 西奥。计算。科学。 968,文章ID 113999,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.A.S.Lyon}和\textit{K.Salomaa},Theor。计算。科学。968,文章ID 113999,11 p.(2023;Zbl 07715624) 全文: 内政部
马丁·库特里布;乌韦·迈耶 语法检查。 (英语) Zbl 07699968号 西奥。计算。科学。 966-967,文章ID 114000,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{U.Meyer},Theor。计算。科学。966--967,文章ID 114000,11 p.(2023;Zbl 07699968) 全文: 内政部
梅丽莎·安东内利;乌戈·达尔拉戈;保罗·皮斯通 关于计数命题逻辑和瓦格纳的层次结构。 (英语) Zbl 07699965号 西奥。计算。科学。 966-967,文章ID 113928,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Antonelli}等人,Theor。计算。科学。966--967,文章ID 113928,21 p.(2023;Zbl 07699965) 全文: 内政部
开尔文·布诺;亨利·阿多纳 求解带字符串对象的分布式P系统中的3-SAT。 (英语) Zbl 1512.68093号 西奥。计算。科学。 964,文章ID 113976,27 p.(2023).MSC公司:2007年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Buño}和\textit{H.Adorna},Theor。计算。科学。964,文章ID 113976,27 p.(2023;Zbl 1512.68093) 全文: 内政部
卡琳·阿尔蒂森;圣埃芬·德维斯梅斯;阿纳伊斯·杜兰德;乔宁,科莱特;小弗朗克 尽管具有高动态性,但仍具有自我稳定系统。 (英语) Zbl 1512.68027号 西奥。计算。科学。 964,文章ID 113966,19 p.(2023).MSC公司:64岁以下 68兰特 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}等人,Theor。计算。科学。964,文章ID 113966,19 p.(2023;Zbl 1512.68027) 全文: 内政部
桥本,Kenji;塞巴斯蒂安·马内斯 用宏树变换器表征属性树转换。 (英语) Zbl 07696141号 西奥。计算。科学。 963,文章ID 113943,18 p.(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.桥本}和\textit{S.Maneth},提奥。计算。科学。963,文章ID 113943,18 p.(2023;Zbl 07696141) 全文: 内政部 arXiv公司
扬卡市克莱比科娃;克莱门·达拉德;保尔森,尼克拉斯 软乘坐时间约束对拨号乘坐问题中调度复杂性的影响。 (英语) Zbl 07687176号 西奥。计算。科学。 960,文章ID 113923,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Chlebíková}等人,Theor。计算。科学。960,文章ID 113923,16 p.(2023;Zbl 07687176) 全文: 内政部
罗斯·霍恩;绍克·莫;塞门·尤尔科夫 当隐私失效时,一个公式描述了一种攻击:应用的(pi)演算的完整组合验证方法。 (英语) Zbl 07685353号 西奥。计算。科学。 959,文章ID 113842,第42页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人,Theor。计算。科学。959,文章ID 113842,42 p.(2023;Zbl 07685353) 全文: 内政部
马丁·伯格伦德;布林克·范德梅尔 使用反向引用重新检查正则表达式。 (英语) Zbl 07676466号 西奥。计算。科学。 940, 66-80 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}和\textit{B.van der Merwe},Theor。计算。科学。940、66-80(2023;Zbl 07676466) 全文: 内政部
R·克里蒂卡。;普拉纳本德·米斯拉;Prafullkumar的故事 仙人掌收缩的单指数时间FPT算法。 (英语) Zbl 07673772号 西奥。计算。科学。 954,文章ID 113803,第17页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Krithika}等人,Theor。计算。科学。954,文章ID 113803,17 p.(2023;Zbl 07673772) 全文: 内政部
阿乔伊·K·达塔。;圣埃芬·德维斯梅斯;乔宁,科莱特;劳伦斯·拉莫尔。 分析了一种内存高效的自稳定BFS生成树结构。 (英语) Zbl 07673668号 西奥。计算。科学。 955,文章ID 113804,35 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.K.Datta}等人,Theor。计算。科学。955,文章ID 113804,第35页(2023;Zbl 07673668) 全文: 内政部 arXiv公司
罗伯特·格莱克;横山,铁雄 从编程语言的角度看可逆计算。 (英语) Zbl 07667524号 西奥。计算。科学。 953,文章ID 113429,26 p.(2023).MSC公司:68甲15 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山},Theor。计算。科学。953,文章ID 113429,26 p.(2023;Zbl 07667524) 全文: 内政部
朱利安·本斯梅尔;菲奥拉万提斯、福沃斯;麦卡·伊内尼(Mc Inerney)、菲昂(Fionn);尼塞,尼古拉斯;纳西姆·奥伊吉德 制造者-破坏者最大的连通子图游戏。 (英语) Zbl 1516.05140号 西奥。计算。科学。 943, 102-120 (2023).MSC公司:05第57页 91A43型 91A24型 91A46型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bensmail}等人,Theor。计算。科学。943、102-120(2023年;Zbl 1516.05140) 全文: 内政部
李婉婷;王永才;李德英;徐晓佳 一种考虑记忆多个匹配候选的鲁棒地图匹配方法。 (英语) Zbl 07638352号 西奥。计算。科学。 941, 104-120 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Li}等人,Theor。计算。科学。941,104-120(2023;Zbl 07638352) 全文: 内政部
弗朗西斯科·多尔斯;德沃·瓦科娃、卢博米拉;伊迪塔·佩兰托娃 关于平衡序列及其临界指数。 (英语) Zbl 1507.68234号 西奥。计算。科学。 939, 18-47 (2023). 审核人:安娜·弗里德(马赛) MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Dolce}等人,Theor。计算。科学。939、18-47(2023年;Zbl 1507.68234) 全文: 内政部 arXiv公司
埃琳娜·巴库奇;安东尼奥·贝尔尼尼;伦佐·平扎尼 来自线性递归和排列的字符串:灰色代码。 (英语) Zbl 07605959号 西奥。计算。科学。 938, 112-120 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Barcucci}等人,Theor。计算。科学。938112--120(2022;Zbl 07605959) 全文: 内政部 arXiv公司
宁、新亚;张楠;段振华;田聪 基于LNFG的PPTL规范挖掘。 (英语) Zbl 07605947号 西奥。计算。科学。 937, 85-95 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Ning}等人,Theor。计算。科学。937,85-95(2022;Zbl 07605947) 全文: 内政部
罗伯特·谢夫勒 关于BFS和DFS生成的搜索树的识别。 (英语) Zbl 07604604号 西奥。计算。科学。 936, 116-128 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{R.Scheffler},Theor。计算。科学。936116-128(2022;Zbl 07604604) 全文: 内政部
保罗·巴尔丹;亚历山德拉·拉斐塔 事件结构最小化。 (英语) Zbl 07601544号 西奥。计算。科学。 935, 174-199 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{A.Raffaetá},Theor。计算。科学。935174-199(2022年;Zbl 07601544) 全文: 内政部 arXiv公司
达斯,阿维南丹;劳昆·卡内什;贾克里什南·马达提尔;科马尔·穆卢克;尼迪·普罗希特;萨基特Saurabh 关于单连通顶点删除的复杂性。 (英语) Zbl 07597110号 西奥。计算。科学。 934, 47-64 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Das}等人,Theor。计算。科学。934,47-64(2022;Zbl 07597110) 全文: 内政部
乔·萨瓦达;亚伦·威廉姆斯;丹尼斯·王 二进制翻转语言反映了格雷码顺序。 (英语) Zbl 07593358号 西奥。计算。科学。 933, 138-148 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Sawada}等人,Theor。计算。科学。933、138--148(2022;Zbl 07593358) 全文: 内政部
Jean-Luc巴里尔;谢尔盖·柯尔吉佐夫;文森特·瓦尼诺夫斯基 斐波纳契(q)递减单词的灰色代码。 (英语) Zbl 07570318号 西奥。计算。科学。 927120-132(2022).MSC公司:68兰特 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Baril}等人,Theor。计算。科学。927、120-132(2022;Zbl 07570318) 全文: 内政部 arXiv公司
高自远;桑杰·贾恩;李泽勇;阿马尔·法廷·萨比利;弗兰克·斯蒂芬 将自动函数和关系作为基本操作的计算模型。 (英语) Zbl 07540257号 西奥。计算。科学。 924, 94-116 (2022).MSC公司:04年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gao}等人,Theor。计算。科学。924,94-116(2022;Zbl 07540257) 全文: 内政部 arXiv公司
Teh,Wen Chean先生;林强尼 反应系统的演化性和不可见性定理。 (英语) Zbl 1497.68204号 西奥。计算。科学。 924, 17-33 (2022).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Teh}和\textit{J.Lim},Theor。计算。科学。924,17-33(2022;Zbl 1497.68204) 全文: 内政部
龙马仙达;Yoshiaki高田;弘久世奇(Hiroyuki Seki) 寄存器上下文无关文法和相关形式的复杂性。 (英语) Zbl 07540233号 西奥。计算。科学。 923, 99-125 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Senda}等人,Theor。计算。科学。923,99-125(2022;兹bl 07540233) 全文: 内政部
梁廷伟;杨长彪;黄国思 最长公共回文子序列问题的一种有效算法。 (英语) Zbl 07540224号 西奥。计算。科学。 922, 475-485 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.-W.Liang}等人,Theor。计算。科学。922475-485(2022;Zbl 07540224) 全文: 内政部
德沃·瓦科娃、卢博米拉;伊迪塔·佩兰托娃;丹妮拉·奥普琴斯卡;阿塞尼·M·舒尔。 关于平衡序列的最小临界指数。 (英语) Zbl 07540202号 西奥。计算。科学。 922158-169(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Dvoáková}等人,Theor。计算。科学。922、158--169(2022;Zbl 07540202) 全文: 内政部 arXiv公司
荣国珍;杨永杰;李文军;王建新 一种通过介数查询重构无(C_{geq5}})图的分治方法。 (英语) Zbl 07533874号 西奥。计算。科学。 917, 1-11 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Rong}等人,Theor。计算。科学。917,1--11(2022;Zbl 07533874) 全文: 内政部
曼弗雷德·德罗斯特;佐尔坦,福尔öp;达维德·科什奥;福格勒、海科 后有限单调强双半群上加权树自动机的有限映像性质。 (英语) Zbl 07524445号 西奥。计算。科学。 919, 118-143 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,Theor。计算。科学。919、118--143(2022;Zbl 07524445) 全文: 内政部 arXiv公司
米歇尔·雷纳尔;加迪·陶本费尔德 七次互斥访问。 (英语) Zbl 07524439号 西奥。计算。科学。 919, 47-65 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Raynal}和\textit{G.Taubenfeld},Theor。计算。科学。919,47-65(2022年;兹bl 07524439) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 配置结构的行为逻辑。 (英语) Zbl 1483.68222号 西奥。计算。科学。 913, 94-112 (2022).MSC公司:68问题85 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。913,94-112(2022;Zbl 1483.68222) 全文: 内政部
徐明;傅建玲;梅静怡;邓雨欣 量子马尔可夫链上的模型检查QCTL plus。 (英语) Zbl 1483.68212号 西奥。计算。科学。 913,43-72(2022).MSC公司:60年第68季度 03B44号 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。913、43-72(2022年;Zbl 1483.68212) 全文: 内政部
酒井吉福 用于子串-子串LCS长度查询的数据结构。 (英语) 兹比尔07496385 西奥。计算。科学。 911, 41-54 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{Y.Sakai},Theor。计算。科学。911,41-54(2022;Zbl 07496385) 全文: 内政部
越南Nguyen;凯文佩罗 Rikudo是NP-完成。 (英语) Zbl 07496375号 西奥。计算。科学。 910, 34-47 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.-H.Nguyen}和\textit{K.Perrot},Theor。计算。科学。910、34-47(2022;Zbl 07496375) 全文: 内政部
艾沙·艾哈迈德;马西耶·库特尼;Marta Pietkiewicz-Koutny 合成具有位置的基本网络系统。 (英语) Zbl 07477147号 西奥。计算。科学。 908, 123-140 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人,Theor。计算。科学。908123--140(2022年;Zbl 07477147) 全文: 内政部
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;米歇尔·平纳 共价键的Petri网视图。 (英语) Zbl 07477145号 西奥。计算。科学。 908, 89-119 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人,Theor。计算。科学。908,89--119(2022;Zbl 07477145) 全文: 内政部
大卫·奥雷拉纳·马汀;路易斯·瓦伦西亚-卡布雷拉;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 具有进化交配和膜生成规则的P系统求解QSAT。 (英语) 兹伯利07477142 西奥。计算。科学。 908, 56-63 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Orellana-Martín}等人,Theor。计算。科学。908,56-63(2022;Zbl 07477142) 全文: 内政部
金,赵;张博文;张磊;曹永志;王汉平 用于云存储系统本地推理的自适应完整证明系统。 (英语) Zbl 1517.68103号 西奥。计算。科学。 903, 39-73 (2022).MSC公司:68第20页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。903、39-73(2022年;Zbl 1517.68103) 全文: 内政部
彼得·扬查尔 基本并行过程的相似性。 (英语) Zbl 07467467号 西奥。计算。科学。 903, 26-38 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},Theor。计算。科学。903,26-38(2022;Zbl 07467467) 全文: 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 未来和最小语义下密集时间内基于时间的规划的复杂性问题。 (英语) 兹伯利0745878 西奥。计算。科学。 901, 87-113 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。901、87-113(2022;Zbl 07458778) 全文: 内政部
佩特拉·沃尔夫 通过考虑常规实例集,从可判定性到不可判定性。 (英语) 兹比尔1515.68169 西奥。计算。科学。 899, 25-38 (2022).MSC公司:65年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \文本{P.Wolf},Theor。计算。科学。899,25-38(2022;Zbl 1515.68169) 全文: 内政部 arXiv公司
英明生;周,李;李,杨佳;冯、袁 不相交并行量子程序的证明系统。 (英语) Zbl 1478.68047号 西奥。计算。科学。 897, 164-184 (2022).MSC公司:68甲19 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}等人,Theor。计算。科学。897,164--184(2022;Zbl 1478.68047) 全文: 内政部
傅玉玺 互动论文。 (英语) Zbl 07437215号 西奥。计算。科学。 897, 114-134 (2022).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。897114-134(2022年;Zbl 07437215) 全文: 内政部
罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 (英语) Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Gorrieri},Theor。计算。科学。897,83-113(2022;Zbl 07437214) 全文: 内政部
张燕;朱兆辉;张金金 在\(\mathrm中编码安全{CLL}_R\). (英语) Zbl 1489.68173号 西奥。计算。科学。 897, 64-82 (2022). 审核人:马丁·兰格(卡塞尔) MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Theor。计算。科学。897,64-82(2022;Zbl 1489.68173) 全文: 内政部
菲利佩·卡萨尔;安德烈亚·莫迪多;Vasco T.瓦康塞洛斯。 混合会话。 (英语) Zbl 1498.68181号 西奥。计算。科学。 897, 23-48 (2022). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Casal}等人,Theor。计算。科学。897,23-48(2022;Zbl 1498.68181) 全文: 内政部
爱奥那·欧·伯恰。;甚至,盖伊 桶排序和随机尝试的上尾分析。 (英语) Zbl 1514.68052号 西奥。计算。科学。 895, 55-67 (2021).MSC公司:68页第10页 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{I.O.Bercea}和\textit{G.Even},Theor。计算。科学。895,55-67(2021年;兹bl 1514.68052) 全文: 内政部 arXiv公司
费尔南多·桑托拉亚;莫尼卡卡尼乌潘;路易斯·加亚尔多;米盖尔·罗梅罗;罗德里戈托雷斯-阿维利斯 对存储在(k^2)树紧凑数据结构中的点进行空间查询的高效计算。 (英语) Zbl 1514.68050号 西奥。计算。科学。 892, 108-131 (2021).MSC公司:68第05页 第68页,共15页 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{F.Santolaya}等人,Theor。计算。科学。892108--131(2021年;Zbl 1514.68050) 全文: 内政部
特雷杜普,罗尼;埃罗菲耶夫·叶夫根尼 具有受限位置环境的布尔网综合的参数化复杂性。 (英语) Zbl 1514.68185号 西奥。计算。科学。 890, 36-69 (2021).MSC公司:68问题85 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Tredup}和\textit{E.Erofeev},Theor。计算。科学。890,36-69(2021;Zbl 1514.68185) 全文: 内政部
高拉夫·苏德;穆拉利·克里希南。 有限有界满足半格上数据流分析的计算复杂性。 (英语) Zbl 1514.68041号 西奥。计算。科学。 885, 30-40 (2021).MSC公司:68号30 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Sood}和\textit{K.Murali Krishnan},Theor。计算。科学。885,30--40(2021;Zbl 1514.68041) 全文: 内政部
马西耶·库特尼;Marta Pietkiewicz-Koutny;亚历克斯·雅科夫列夫 反应系统中的异步性和持久性。 (英语) Zbl 1517.68126号 西奥。计算。科学。 881, 97-110 (2021).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}等人,Theor。计算。科学。881,97-110(2021;Zbl 1517.68126) 全文: 内政部 链接
罗伯托·巴布蒂;罗伯塔·戈里;保罗·米拉佐 将布尔网络编码到反应系统中,用于研究基因调控中的因果依赖性。 (英语) Zbl 1512.92024号 西奥。计算。科学。 881, 3-24 (2021).MSC公司:92C40型 92立方厘米 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。881,3--24(2021;Zbl 1512.92024) 全文: 内政部
吉奥基·多萨;汉斯·凯勒;托马斯·奥拉吉;兹索尔特图扎 提出了一种改进的两机调度参数算法,给出了总加工时间的上界和下界。 (英语) Zbl 1512.90089 西奥。计算。科学。 88069-81(2021).MSC公司:90B35型 68周27 PDF格式BibTeX公司 XML格式引用 \textit{G.Dosa}等人,Theor。计算。科学。880,69-81(2021;Zbl 1512.90089) 全文: 内政部
泰勒·J·史密斯。;凯·萨洛马 二维自动机受限变种的决策问题和投影语言。 (英语) Zbl 1504.68116号 西奥。计算。科学。 870, 153-164 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Smith}和\textit{K.Salomaa},Theor。计算。科学。870153-164(2021年;Zbl 1504.68116) 全文: 内政部
约翰娜·比约克隆德;谢·科恩(Shay B.Cohen)。;法兰克·德雷维斯;乔治·萨塔 自下而上的无等级树到图转换器,用于转换为语义图。 (英语) Zbl 1504.68095号 西奥。计算。科学。 870, 3-28 (2021).MSC公司:65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Björklund}等人,Theor。计算。科学。870,3-28(2021年;兹比尔1504.68095) 全文: 内政部
末底改·戈林;埃尔法鲁克·哈布 使用范围最小查询将AIFV-2动态程序加速两个数量级。 (英语) Zbl 1502.94021号 西奥。计算。科学。 865, 99-118 (2021).MSC公司:94年29日 68第05页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Golin}和\textit{E.Harb},Theor。计算。科学。865,99-118(2021;Zbl 1502.94021) 全文: 内政部 arXiv公司
富美亚大久保;高石洋森 关于插入语言的(mathcal{L})-约简的计算能力。 (英语) Zbl 1502.68165号 西奥。计算。科学。 862, 224-235 (2021); 更正同上,920,113(2022)。MSC公司:65年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Okubo}和\textit{T.Yokomori},Theor。计算。科学。86224--235(2021年;Zbl 1502.68165) 全文: 内政部
维克托·米特拉纳;玛丽亚·内格鲁。 进化处理器网络中由随机上下文与极化定义的滤波器。 (英语) Zbl 1497.68198号 西奥。计算。科学。 862, 214-223 (2021).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mitrana}和\textit{M.C.Negru},Theor。计算。科学。862,214--223(2021;Zbl 1497.68198) 全文: 内政部
里扎德·贾尼基;码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基 并发行为的关系结构。 (英语) Zbl 1497.68344号 西奥。计算。科学。 862174-192(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,Theor。计算。科学。862174--192(2021年;Zbl 1497.68344) 全文: 内政部
阿图罗·卡皮;弗拉维奥·达莱桑德罗 关于有界线性码和交换等价。 (英语) Zbl 1477.68170号 西奥。计算。科学。 852, 185-196 (2021).MSC公司:70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Carpi}和\textit{F.D'Alessandro},Theor。计算。科学。852185-196(2021年;Zbl 1477.68170) 全文: 内政部
阿米尔,阿米胡德;艾坦·孔德拉托夫斯基 针对参数化最长公共前缀计算的实时算法。 (英语) Zbl 1477.68552号 西奥。计算。科学。 852, 132-137 (2021).MSC公司:68瓦32 68周27 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Amir}和\textit{E.Kondratovsky},Theor。计算。科学。852132-137(2021年;兹比尔1477.68552) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英语) Zbl 1477.68168号 西奥。计算。科学。 857, 29-42 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。857,29-42(2021;Zbl 1477.68168) 全文: 内政部
弘久世奇(Hiroyuki Seki);里奥·吉村;Yoshiaki高田 加权寄存器自动机的最优运行问题。 (英语) Zbl 1464.68185号 西奥。计算。科学。 850, 185-201 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki}等人,Theor。计算。科学。850185-201(2021年;Zbl 1464.68185) 全文: 内政部
约斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);巴特,桑维尔 通过树行走自动机和带有可见和不可见卵石的传感器进行XML导航和转换。 (英语) Zbl 1464.68165号 西奥。计算。科学。 850, 40-97 (2021).MSC公司:65年第68季度 68第05页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,Theor。计算。科学。850、40-97(2021年;Zbl 1464.68165) 全文: 内政部 arXiv公司
戈因纳,丹尼尔;中村,Masaki;Kazuhiro绪方;高基町五指 通过合并推出的终止稳定性和充分完整性。 (英语) Zbl 1464.68215号 西奥。计算。科学。 848,82-105(2020).MSC公司:68问题65 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin}等人,Theor。计算。科学。848、82--105(2020年;Zbl 1464.68215) 全文: 内政部
乌里法伦伯格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 (英语) Zbl 1464.68239号 西奥。计算。科学。 8471934-146(2020).MSC公司:68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Theor。计算。科学。847134-146(2020年;Zbl 1464.68239) 全文: 内政部
米查尔·曼考斯基;米哈伊尔·莫什科夫 多阶段组合优化动态规划的扩展。 (英语) Zbl 1464.90082号 西奥。计算。科学。 844, 106-132 (2020).MSC公司:90C27型 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Mankowski}和\textit{M.Moshkov},Theor。计算。科学。844,106-132(2020年;Zbl 1464.90082) 全文: 内政部
赵玉珍;刘西雨;孙明和;瞿建华;郑元杰 具有多个启动子/抑制剂的无时间限制的细胞样P系统。 (英语) Zbl 1460.68040号 西奥。计算。科学。 843, 73-83 (2020).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}等人,Theor。计算。科学。843,73-83(2020;Zbl 1460.68040) 全文: 内政部
格思·斯特林特·布罗达尔;Sioutas、Spyros;察卡利迪斯、康斯坦蒂诺斯;科斯塔斯·齐奇拉斯 完全持久的B树。 (英语) Zbl 1455.68046号 西奥。计算。科学。 841, 10-26 (2020).MSC公司:68第05页 68页第10页 第68页,共15页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Brodal}等人,Theor。计算。科学。841,10--26(2020;Zbl 1455.68046) 全文: 内政部
科杰里米 非阻塞色树的摊销分析。 (英语) Zbl 1460.68032号 西奥。计算。科学。 840, 59-121 (2020).MSC公司:68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.Ko},Theor。计算。科学。840,59-121(2020年;兹比尔1460.68032) 全文: 内政部 arXiv公司 链接
赵亮;王晓兵;舒新峰;张楠 统一时序逻辑的完善证明系统。 (英语) Zbl 1485.03045号 西奥。计算。科学。 838, 25-44 (2020).MSC公司:03B44号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,Theor。计算。科学。838,25-44(2020;Zbl 1485.03045) 全文: 内政部
舒新峰;张楠;王晓兵;赵亮 命题投影时间逻辑的有效决策过程。 (英语) Zbl 1476.03019号 西奥。计算。科学。 838, 1-16 (2020). 审核人:Valentin F.Goranko(斯德哥尔摩) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。838,1--16(2020;Zbl 1476.03019) 全文: 内政部
艾曼纽·戈达尔;达米安·伊姆斯;米歇尔·雷纳尔;加迪·陶本费尔德 匿名读/写内存的基于Leader的非命名。 (英语) Zbl 1452.68025号 西奥。计算。科学。 836, 110-123 (2020).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.Godard}等人,Theor。计算。科学。836110--123(2020;Zbl 1452.68025) 全文: 内政部
克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);圣彼得罗,皮耶路易吉 Deque自动机、语言和平面图表示。 (英语) Zbl 1440.68153号 西奥。计算。科学。 834, 43-59 (2020).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Crespi Reghizzi}和\textit{P.San Pietro},Theor。计算。科学。834,43-59(2020年;兹比尔1440.68153) 全文: 内政部
码头Kleijn;马西耶·库特尼;格列泽戈兹·罗森贝格 反应系统的插件上下文提供程序。 (英语) Zbl 1440.68085号 西奥。计算。科学。 834, 26-42 (2020).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Kleijn}等人,Theor。计算。科学。834,26-42(2020;Zbl 1440.68085) 全文: 内政部 链接
陈天泽;魏元浩 大型单写入寄存器的分步优化实现。 (英语) Zbl 1443.68026号 西奥。计算。科学。 826-827, 40-50 (2020).MSC公司:64岁以下 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Z.Chen}和\textit{Y.Wei},Theor。计算。科学。826--827、40-50(2020年;Zbl 1443.68026) 全文: 内政部 链接
我是宣城;皮埃尔·杰奈夫耶斯;尼尔斯·盖斯伯特;纳比尔·拉伊达 XML查询的向后类型推断。 (英语) Zbl 1440.68056号 西奥。计算。科学。 82369-99(2020).MSC公司:第68页,共15页 68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Im}等人,Theor。计算。科学。823、69-99(2020年;Zbl 1440.68056) 全文: 内政部 哈尔
越南Nguyen;凯文佩罗;马修·瓦莱特 \(mathsf{NP})-游戏王国的完整性(^\text{TM})。 (英语) Zbl 1440.68106号 西奥。计算。科学。 822, 23-35 (2020).MSC公司:2017年第68季度 52C20个 68单位05 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{V.-H.Nguyen}等人,Theor。计算。科学。822、23-35(2020年;Zbl 1440.68106) 全文: 内政部 arXiv公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 密集时间域上基于时间的规划。 (英语) Zbl 1433.68406号 西奥。计算。科学。 813, 305-326 (2020).MSC公司:68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813305--326(2020年;Zbl 1433.68406) 全文: 内政部
卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 一类递归置换,它是原始递归完成的。 (英语) Zbl 1481.03031号 西奥。计算。科学。 813, 218-233 (2020).MSC公司:03D20日 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人,Theor。计算。科学。813、218--233(2020年;Zbl 1481.03031) 全文: 内政部 链接
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英语) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;Zbl 1433.03048) 全文: 内政部 链接
阿曼多·马托斯(Armando B.Matos)。;卢卡·保里尼;卢卡·罗维斯 简单可逆语言的不动点问题。 (英语) Zbl 1433.68079号 西奥。计算。科学。 813, 143-154 (2020).MSC公司:68甲15 03B70号 68号30 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Matos}等人,Theor。计算。科学。813、143--154(2020年;Zbl 1433.68079) 全文: 内政部 链接
舒新峰;段振华;杜洪伟 投影时序逻辑的决策过程和完整公理化。 (英语) Zbl 1506.03070号 西奥。计算。科学。 819,50-84(2020).MSC公司:03B44号 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。819、50-84(2020年;Zbl 1506.03070) 全文: 内政部
卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) 兹比尔1464.68209 西奥。计算。科学。 819, 35-49 (2020).MSC公司:60年第68季度 03B44号 03B70号 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·恰尔迪亚·梅耶;马克·雷诺兹 关于基于时间的游戏及其复杂性。 (英语) Zbl 1433.68409号 西奥。计算。科学。 815, 247-269 (2020).MSC公司:68T20型 91A25型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Theor。计算。科学。815247-269(2020年;Zbl 1433.68409) 全文: 内政部 链接
罗寿福;曾国忠;杨长彪;黄国思 最长公共递增子序列问题的一种基于对角线的算法。 (英语) Zbl 1433.68634号 西奥。计算。科学。 815, 69-78 (2020).MSC公司:68瓦32 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.-F.Lo}等人,Theor。计算。科学。815,69-78(2020;Zbl 1433.68634) 全文: 内政部
潘林强;大卫·奥雷拉纳·马汀;宋博生;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 具有极化和最小规则的细胞样P系统。 (英语) 兹比尔1432.68150 西奥。计算。科学。 816, 1-18 (2020).MSC公司:2007年第68季度 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Pan}等人,Theor。计算。科学。816,1-18(2020;Zbl 1432.68150) 全文: 内政部 链接
查里斯·帕帕佐普洛斯;斯皮里登·齐玛斯 有界独立集大小图上的子集反馈顶点集。 (英语) Zbl 1435.68244号 西奥。计算。科学。 814, 177-188 (2020).MSC公司:68兰特 05C69号 05C85号 2017年第68季度 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.Papadopoulos}和\textit{S.Tzimas},Theor。计算。科学。814177-188(2020年;Zbl 1435.68244) 全文: 内政部 链接
J.Ian Munro;冈萨洛·纳瓦罗;拉胡尔·沙阿;夏尔马五世(Sharma V.Thankachan)。 分级文档选择。 (英语) Zbl 1435.68078号 西奥。计算。科学。 812, 149-159 (2020).MSC公司:68第20页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Munro}等人,Theor。计算。科学。812149--159(2020年;Zbl 1435.68078) 全文: 内政部
R、 拉尼·M。;R、 苏巴什尼;莫希·贾加尔莫哈南 同时连续的子矩阵和编辑问题:经典复杂性和固定参数可处理的结果。 (英语) Zbl 1435.68222号 西奥。计算。科学。 812, 13-38 (2020).MSC公司:68卢比 05B20号 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.R}等人,Theor。计算。科学。812、13-38(2020年;Zbl 1435.68222) 全文: 内政部 arXiv公司
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 (英语) Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。809519-530(2020年;Zbl 1436.68200) 全文: 内政部
王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) Zbl 1436.68077号 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司