巴特·博加特;马克西姆·雅库博夫斯基;Van den Bussche,简 SHACL功能的表达性以及用于完全相等和不相交测试的扩展。 (英语) Zbl 07814924号 日志。方法计算。科学。 20,第1号,第16号论文,第34页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,日志。方法计算。科学。20,第1号,第16号论文,第34页(2024;Zbl 07814924) 全文: 内政部 arXiv公司
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 版次TPL:可逆时间过程语言。 (英语) Zbl 07814919号 日志。方法计算。科学。 20,第1号,第11号论文,35页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。方法计算。科学。20,第1号,第11号论文,35页(2024;Zbl 07814919) 全文: 内政部 arXiv公司
马丁·拉西克;戴维·巴恩斯;Sr Djan Krstić;德米特里·特拉泰尔 任意关系演算查询的有效评估。 (英语) Zbl 07789010号 日志。方法计算。科学。 19,第4号,第38号论文,40页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Raszyk}等人,《日志》。方法计算。科学。19,第4号,第38号论文,40页(2023;Zbl 07789010) 全文: 内政部 arXiv公司
阿纳尔多·塞斯科;罗伯托·戈里埃里 有限有界Petri网两个真正并发等价的判定性。 (英语) 兹比尔07789009 日志。方法计算。科学。 19,第4号,第37号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri},日志。方法计算。科学。19,第4号,第37号论文,37页(2023;Zbl 07789009) 全文: 内政部 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公司
Balasubramanian,A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 (英语) Zbl 07753362号 日志。方法计算。科学。 19,第4号,第2号文件,第44页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人,日志。方法计算。科学。19,第4号,第2号文件,第44页(2023;Zbl 07753362) 全文: 内政部 arXiv公司
埃琳娜·迪拉沃雷;巴布亚州索波辛斯基 单面宽度。 (英语) Zbl 07753359号 日志。方法计算。科学。 19,第3号,第15号论文,46页(2023年).MSC公司:2005年8月 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Lavore}和\textit{P.Sobocinn ski},Log。方法计算。科学。19,第3号,第15号论文,46页(2023;Zbl 07753359) 全文: 内政部 arXiv公司
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 形式舞蹈语言的理论。 (英语) Zbl 07731937号 日志。方法计算。科学。 19,第3号,第9号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,日志。方法计算。科学。19,第3号,第9号论文,36页(2023;Zbl 07731937) 全文: 内政部 arXiv公司
马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性:随机过程代数方法。 (英语) Zbl 07731917号 日志。方法计算。科学。 19,第2号,第6号论文,27页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina},Log。方法计算。科学。19,第2号,第6号论文,27页(2023;Zbl 07731917) 全文: 内政部 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公司
弗朗西斯科·达格尼诺;保拉·吉安尼尼;马里亚纽拉州Dezani-Ciancaglini 已取消对异步会话的全局类型的限制。 (英语) 兹伯利07667093 日志。方法计算。科学。 19,第1号,第3号论文,41页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}等人,日志。方法计算。科学。19,第1号,第3号论文,41页(2023;Zbl 07667093) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。19,第1号,第14号论文,44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
罗宾·皮德卢;法比奥·扎纳西 使用字符串图对有限状态自动机进行有限公理化。 (英语) Zbl 07667086号 日志。方法计算。科学。 19,第1号,第13号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Piedeleu}和\textit{F.Zanasi},日志。方法计算。科学。19,第1号,第13号论文,38页(2023;Zbl 07667086) 全文: 内政部 arXiv公司
托尔斯滕·维曼;斯特凡·米利厄斯;卢茨·施罗德 行为不公平通用模态见证的准线性时间计算。 (英语) Zbl 07639914号 日志。方法计算。科学。 18,第4号,第6号论文,48页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《日志》。方法计算。科学。18,第4号,第6号论文,48页(2022;Zbl 07639914) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采 异步共享内存程序的一般可判定性结果:高阶及更高阶。 (英语) Zbl 07639910号 日志。方法计算。科学。 18,第4号,第2号论文,30页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,日志。方法计算。科学。18,第4号,第2号论文,30页(2022;Zbl 07639910) 全文: 内政部 arXiv公司
彼得·霍夫曼;雅库布·罗伊基 ([\mathcal{D}]^k\to\mathbb{Z}^D\)中无序数据向量的线性方程组。 (英语) Zbl 07639907号 日志。方法计算。科学。 18,第4号,第11号论文,39页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofman}和\textit{J.Różycki},Log。方法计算。科学。18,第4号,第11号论文,39页(2022;Zbl 07639907) 全文: 内政部 arXiv公司
卢卡·西科内;卢卡·帕多瓦尼 具有corules的推理系统,用于二进制会话类型的组合安全性和活性属性。 (英语) Zbl 07596575号 日志。方法计算。科学。 18,第3号,第27号论文,第29页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Ciccone}和\textit{L.Padovani},Log。方法计算。科学。18,第3号,第27号论文,第29页(2022;Zbl 07596575) 全文: 内政部 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公司
本杰明·比斯平;大卫·詹森(David N.Jansen)。;乌韦州内斯特曼 一次性决定所有行为等效性:线性时间分支时间谱的游戏。 (英语) Zbl 07577583号 日志。方法计算。科学。 18,第3号,第19号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《日志》。方法计算。科学。18,第3号,第19号文件,第33页(2022;兹bl 07577583) 全文: 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 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,日志。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 具有不确定性、概率和终止性的系统的迹理论。 (英语) Zbl 07566077号 日志。方法计算。科学。 18,第2号,第21号论文,66页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,日志。方法计算。科学。18,第2号,第21号论文,66页(2022;Zbl 07566077) 全文: arXiv公司 链接
乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;罗伯特·克雷伯斯 Actris 2.0版:分离逻辑中基于异步会话类型的推理。 (英语) Zbl 07566072号 日志。方法计算。科学。 18,第2号,第16号论文,64页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Kastberg-Hinrichsen}等人,Log。方法计算。科学。18,第2号,第16号论文,64页(2022;Zbl 07566072) 全文: arXiv公司 链接
油炸,Dror;Legay、Axel;约尔·瓦克宁;莫舍·瓦尔迪。 顺序关系分解。 (英语) Zbl 1497.68173号 日志。方法计算。科学。 18,第1号,第37号论文,第29页(2022年).MSC公司:第68季度01 2006年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fried}等人,日志。方法计算。科学。18,第1号,第37号论文,第29页(2022年;Zbl 1497.68173) 全文: 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公司 链接
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Ingólfsdóttir,安娜;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化。 (英语) Zbl 07471704号 日志。方法计算。科学。 18,第1号,第15号文件,第51页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。18,第1号,第15号论文,51页(2022;Zbl 07471704) 全文: arXiv公司 链接
帕特里夏·鲍耶;勒鲁(Le Roux,Stéphane);尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 在游戏中,您可以使用与竞技场无关的有限内存进行最佳游戏。 (英语) Zbl 07471700号 日志。方法计算。科学。 18,第1号,第11号论文,44页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。18,第1号,第11号论文,第44页(2022;Zbl 07471700) 全文: arXiv公司 链接
达斯,安库什;弗兰克·芬宁 Rast:一种用于资源软件会话类型的语言。 (英语) Zbl 07471698号 日志。方法计算。科学。 18,第1号,第9号论文,36页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{F.Pfenning},日志。方法计算。科学。18,第1号,第9号论文,36页(2022;Zbl 07471698) 全文: arXiv公司 链接
劳拉·内兹;埃齐奥·巴托西;卢卡·博托卢西;米歇尔·洛雷蒂 一种用于监测空间分布网络物理系统动态网络的逻辑。 (英语) Zbl 07471693号 日志。方法计算。科学。 18,第1号,第4号论文,30页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Nenzi}等人,日志。方法计算。科学。18,第1号,第4号论文,30页(2022;Zbl 07471693) 全文: arXiv公司 链接
克莱门斯·库普克;朱里安·罗特 共导谓词的表达逻辑。 (英语) Zbl 07471679号 日志。方法计算。科学。 17,第4号,第19号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{J.Rot},日志。方法计算。科学。17,第4号,第19号论文,30页(2021;Zbl 07471679) 全文: arXiv公司 链接
G.Michele Pinna 事件结构中依赖关系的新操作表示。 (英语) 兹伯利07476176 日志。方法计算。科学。 17,第4号,第16号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。17,第4号,第16号论文,30页(2021;Zbl 07471676) 全文: arXiv公司 链接
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;皮埃尔·奥曼 控制随机种群。 (英语) Zbl 07471672号 日志。方法计算。科学。 17,第4号,第12号论文,21页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,《日志》。方法计算。科学。17,第4号,第12号论文,21页(2021;Zbl 07471672) 全文: arXiv公司 链接
弗朗西斯科·达格尼诺 常规铸币的基础。 (英语) Zbl 07471662号 日志。方法计算。科学。 17,第4号,第2号论文,29页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino},日志。方法计算。科学。17,第4号,第2号论文,29页(2021;Zbl 07471662) 全文: arXiv公司 链接
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 可逆多方协议的因果一致性。 (英语) Zbl 07471661号 日志。方法计算。科学。 17,第4号,第1号论文,41页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Antares Mezzina}和\textit{J.A.Pérez},Log。方法计算。科学。17,第4号,第1号论文,41页(2021;Zbl 07471661) 全文: arXiv公司 链接
Jean-Marie,马迪奥;Damien Pous;大卫·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 (英语) 兹比尔07407797 日志。方法计算。科学。 17,第3号,第25号论文,39页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.M.Madiot}等人,日志。方法计算。科学。17,第3号,第25号论文,39页(2021;Zbl 07407797) 全文: arXiv公司 链接
迈克尔·布隆丁;米哈伊尔·拉斯金 具有状态的仿射向量加法系统可达性的复杂性。 (英语) Zbl 07407775号 日志。方法计算。科学。 17,第3期,第3号论文,31页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}和\textit{M.Raskin},日志。方法计算。科学。17,第3期,第3号论文,31页(2021;Zbl 07407775) 全文: arXiv公司 链接
安基永;罗斯·霍恩;Tiu,Alwen先生 使用直觉模态逻辑表征开放双相似性。 (英语) Zbl 07407774号 日志。方法计算。科学。 17,第3号,第2号论文,40页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Ahn}等人,日志。方法计算。科学。17,第3号,第2号论文,40页(2021;Zbl 07407774) 全文: arXiv公司 链接
罗布·范格拉贝克 带超时的进程代数的故障跟踪语义。 (英语) Zbl 07350777号 日志。方法计算。科学。 17,第2号,第11号论文,40页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},日志。方法计算。科学。17,第2号,第11号论文,40页(2021;Zbl 07350777) 全文: arXiv公司 链接
约翰·费恩利;马丁·盖林;马蒂亚斯·姆尼奇;拉胡尔·萨瓦尼 可达性切换游戏。 (英语) Zbl 1499.68200号 日志。方法计算。科学。 17,第2号,第10号论文,29页(2021年).MSC公司:60年第68季度 60J20型 2009年第68季度 2010年第68季度 2017年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}等人,Log。方法计算。科学。17,第2号,第10号论文,第29页(2021年;Zbl 1499.68200) 全文: arXiv公司 链接
马里奥·布雷韦蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 异步会话子类型的完善算法及其实现。 (英语) Zbl 1509.68184号 日志。方法计算。科学。 17,第1号,第20号论文,35页(2021年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,日志。方法计算。科学。17,第1号,第20号论文,第35页(2021;Zbl 1509.68184) 全文: arXiv公司 链接
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;韦伯,特贾克 标称过渡系统的模态逻辑。 (英语) Zbl 1509.68188号 日志。方法计算。科学。 17,第1号,第6号文件,第49页(2021).MSC公司:68问题85 03B45号 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人,Log。方法计算。科学。17,第1号,第6号论文,49页(2021;Zbl 1509.68188) 全文: 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公司 链接
劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 论舞蹈编导中非决定论的解决。 (英语) Zbl 07269246号 日志。方法计算。科学。 16,第3号,第18号论文,69页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。方法计算。科学。16,第3号,第18号论文,69页(2020;Zbl 07269246) 全文: arXiv公司 链接
迭戈·菲格拉;阿尼尔班·马朱姆达尔;M·普拉文。 使用能量游戏玩数据单词中的重复。 (英语) Zbl 1497.91007号 日志。方法计算。科学。 16,第3号,第1号论文,42页(2020年).MSC公司:91A05型 03B25号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,日志。方法计算。科学。16,第3号,第1号论文,42页(2020年;Zbl 1497.91007) 全文: 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公司 链接
威廉·康拉迪;萨利赫·杜尔汗;圭多·西亚维科 线性阶上点和区间的综合一阶理论。二、。 (英语) 兹比尔1528.03134 日志。方法计算。科学。 16,第2号,第1号论文,33页(2020年).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。16,第2号,第1号论文,33页(2020;Zbl 1528.03134) 全文: 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 1427.68186号 日志。方法计算。科学。 15,第4号,第17号论文,39页(2019年).MSC公司:68问题85 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,日志。方法计算。科学。15,第4号,第17号论文,39页(2019年;Zbl 1427.68186) 全文: arXiv公司
杰罗姆·勒鲁;M·普拉文。;菲利普·施诺贝伦;格雷戈伊尔·萨特雷 关于可由下推Petri网和相关系统弱计算的函数。 (英语) Zbl 1427.68203号 日志。方法计算。科学。 15,第4号,第15号论文,第26页(2019年).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人,日志。方法计算。科学。15,第4号,第15号论文,第26页(2019年;Zbl 1427.68203) 全文: arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Ingólfsdóttir,安娜;尤兰达奥尔特加购物中心 标称过程计算的规则格式。 (英语) Zbl 1442.68119号 日志。方法计算。科学。 15,第4号,第2号论文,46页(2019年).MSC公司:68问题85 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。15,第4号,第2号论文,46页(2019年;Zbl 1442.68119) 全文: arXiv公司
贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔 平冻LTL的复杂性。 (英语) Zbl 1442.68101号 日志。方法计算。科学。 15,第3号,第33号论文,第26页(2019年).MSC公司:60年第68季度 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,日志。方法计算。科学。15,第3号,第33号论文,第26页(2019年;Zbl 1442.68101) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 概率语义下的定量自动机。 (英语) Zbl 1442.68086号 日志。方法计算。科学。 15,第3号,第16号论文,45页(2019年).MSC公司:65年第68季度 03B25号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。方法计算。科学。15,第3号,第16号论文,45页(2019年;Zbl 1442.68086) 全文: arXiv公司
阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 方程的发散性和唯一解。 (英语) Zbl 1442.68134号 日志。方法计算。科学。 15,第3号,第12号论文,第34页(2019年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人,Log。方法计算。科学。15,第3号,第12号论文,34页(2019年;Zbl 1442.68134) 全文: arXiv公司
欧文·恩格尔 被遗忘的证据理论? (英语) Zbl 1509.03157号 日志。方法计算。科学。 15,第3号,第6号论文,第6页(2019年).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{E.Engeler},日志。方法计算。科学。15,第3号,第6号论文,第6页(2019年;Zbl 1509.03157) 全文: arXiv公司
Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 定界控制运算符的相互模拟。 (英语) Zbl 1421.68012号 日志。方法计算。科学。 15,第2号,第18号论文,57页(2019年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Biernacki}等人,《日志》。方法计算。科学。15,第2号,第18号论文,57页(2019年;Zbl 1421.68012) 全文: 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公司
Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 概率双相似度的博弈特征及其在下推自动机中的应用。 (英语) Zbl 1407.68252号 日志。方法计算。科学。 14,第4号,第13号论文,25页(2018年).MSC公司:65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,日志。方法计算。科学。14,第4号,第13号论文,25页(2018;Zbl 1407.68252) 全文: 内政部 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公司
摩西·加纳迪;斯特凡·格勒;马库斯·洛伊 有限系统上互模拟和仿真的复杂性。 (英语) Zbl 1402.68092号 日志。方法计算。科学。 14,第4号,第5号论文,29页(2018年).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,日志。方法计算。科学。14,第4号,第5号论文,29页(2018;Zbl 1402.68092) 全文: 内政部 arXiv公司
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 具有持久性的Petri网的事件结构。 (英语) Zbl 1417.68113号 日志。方法计算。科学。 14,第3号,第25号论文,30页(2018年). 审核人:Clément Aubert(奥古斯塔) MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《日志》。方法计算。科学。14,第3号,第25号论文,30页(2018;Zbl 1417.68113) 全文: 内政部 arXiv公司
大卫·桑吉奥吉;徐,西安 作为流程的功能树。 (英语) Zbl 1511.68186号 日志。方法计算。科学。 14,第3号,第11号论文,41页(2018年).MSC公司:68问题85 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}和\textit{X.Xu},日志。方法计算。科学。14,第3号,第11号论文,41页(2018;Zbl 1511.68186) 全文: 内政部 arXiv公司
克莱门·奥伯特;马克·巴格诺尔 统一和对数空间。 (英语) Zbl 1447.68005号 日志。方法计算。科学。 14,第3号,第6号论文,21页(2018年). 审核人:吉列尔莫·莫拉莱斯·卢纳(墨西哥城) MSC公司:2015年第68季度 03楼52 68N17号 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{M.Bagnol},日志。方法计算。科学。14,第3号,第6号论文,21页(2018;Zbl 1447.68005) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;Ngo、Tuan Phong 用于总存储顺序的加载缓冲语义。 (英语) Zbl 1459.68038号 日志。方法计算。科学。 14,第1号,第9号论文,46页(2018年).MSC公司:68号30 68甲19 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。方法计算。科学。14,第1号,第9号论文,46页(2018;Zbl 1459.68038) 全文: 内政部 arXiv公司
恩德鲁利斯,约尔格;Helle Hvid Hansen先生;迪米特里·亨德里克斯;安德鲁·波伦斯基;亚历山德拉·席尔瓦 无限重写和无限等式逻辑的共性基础。 (英语) Zbl 1459.68089号 日志。方法计算。科学。 14,第1号,第3号论文,44页(2018年).MSC公司:2012年第68季度 03B70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,日志。方法计算。科学。14,第1号,第3号论文,44页(2018;Zbl 1459.68089) 全文: 内政部 arXiv公司
斯特凡·基弗;伊内斯·马鲁西奇;詹姆斯·沃雷尔 多重树自动机的最小化。 (英语) Zbl 1398.68314号 日志。方法计算。科学。 13,第1号,第16号论文,25页(2017年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,日志。方法计算。科学。13,第1号,第16号论文,25页(2017;Zbl 1398.68314) 全文: 内政部 arXiv公司
康斯坦蒂诺斯·马穆拉斯 使用天使和恶魔不确定性的霍尔逻辑综合策略。 (英语) Zbl 1445.03037号 日志。方法计算。科学。 12,第3号,第6号论文,41页(2016年).MSC公司:03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},日志。方法计算。科学。12,第3号,第6号论文,41页(2016;Zbl 1445.03037) 全文: 内政部 arXiv公司