巴特·博加特;马克西姆·雅库博夫斯基;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网两个真正并发等价的判定性。 (英语) Zbl 07789009号 日志。方法计算。科学。 19,第4号,第37号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri},Log。方法计算。科学。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 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 已取消对异步会话的全局类型的限制。 (英语) Zbl 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公司
马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) 兹伯利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)。;乌韦·内斯特曼 一次性决定所有行为等效性:线性时间分支时间谱的游戏。 (英语) 兹比尔07577583 日志。方法计算。科学。 18,第3号,第19号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《日志》。方法计算。科学。18,第3号,第19号论文,33页(2022;Zbl 07577583) 全文: arXiv公司 链接
托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅吉 一键定价的负权重计时游戏。 (英语) Zbl 07577581号 日志。方法计算。科学。 18,第3号,第17号论文,51页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。18,第3号,第17号文件,第51页(2022;Zbl 07577581) 全文: 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公司 链接
菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 具有不确定性、概率和终止性的系统的迹理论。 (英语) 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公司 链接
贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 有界可达性问题在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公司 链接
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna 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 事件结构中依赖关系的一种新的操作表示。 (英语) Zbl 07471676号 日志。方法计算。科学。 17,第4号,第16号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。17,第4号,第16号文件,第30页(2021;Zbl 0747176) 全文: 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公司 链接
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯,豪尔赫·A。 可逆多方协议的因果一致性。 (英语) 兹伯利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.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公司 链接
安基永;罗斯·霍恩;蒂乌,阿尔文 使用直觉模态逻辑表征开放双相似性。 (英语) 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公司 链接
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯 标称过渡系统的模态逻辑。 (英语) 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公司 链接
迭戈·菲格拉;阿尼尔班·马朱姆达尔;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公司 链接
威廉·康雷迪;萨利赫·杜尔汗;Guido Sciavicco公司 线性阶上点和区间的综合一阶理论。二、。 (英语) Zbl 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公司 链接
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna 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公司
欧文·恩格尔 被遗忘的证据理论? (英语) 兹比尔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公司
何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 (英语) 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公司
迪米特里斯·莫斯特鲁斯;瓦斯科塞洛斯 仿射会话。 (英语) 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 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公司
约尔格恩德鲁利斯;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;兹bl 1459.68089) 全文: 内政部 arXiv公司
康斯坦丁诺斯·马莫拉斯 使用天使和恶魔不确定性的霍尔逻辑综合策略。 (英语) 兹比尔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公司