The mu-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs

DAgostino Giovanna; Lenzi Giacomo

首页> 外文期刊>Theoretical computer science >The mu-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs

【24h】

The mu-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs

机译：Mu-Calculus交替深度层级是有限平面图的无限

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

机译：我们证明了模态MU - 微积分的交替层次结构是有限平面图（C）2018 Elsevier B.V.保留的所有权利。

著录项

来源
《Theoretical computer science》 |2018年第2018期|共22页
作者
DAgostino Giovanna; Lenzi Giacomo;
展开▼
作者单位

Univ Udine Dept Math Comp Sci &

Phys Via Sci 206 I-33100 Udine Italy;

Univ Salerno Dept Math Via Giovanni Paolo 2 132 I-84084 Salerno Italy;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Modal mu-Calculus; Alternation hierarchy; Parity games; Planar graphs;

机译：莫代尔MU-微积分;交替层次结构;奇偶校验游戏;平面图;

相似文献

外文文献
中文文献
专利

1. The mu-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs [J] . DAgostino Giovanna, Lenzi Giacomo Theoretical computer science . 2018,第期

机译：Mu-Calculus交替深度层级是有限平面图的无限
2. Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy [J] . Berkholz Christoph, Krebs Andreas, Verbitsky Oleg ACM transactions on computational logic . 2015,第3期

机译：有限变量逻辑中量词深度的界限：交替层次结构
3. Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy [J] . Christoph Berkholz, Andreas Krebs, Oleg Verbitsky LIPIcs : Leibniz International Proceedings in Informatics . 2013,第2期

机译：有限变量逻辑中量词深度的界限：交替层次
4. The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite [C] . Olivier Ly Conference on foundations of software technology and theoretical computer science . 2000

机译：界限弱的Monadic量词交替等级图形的交替层次是无限的
5. Semi-infinite and Finite Bubble Propagation in the Presence of a Channel-depth Perturbation [D] . Franco Gomez, Andres Fernando. 2018

机译：通道深度扰动下的半无限和有限气泡传播
6. Bimodal Incoherent Digital Holography for Both Three-Dimensional Imaging and Quasi-Infinite–Depth-of-Field Imaging [O] . Teruyoshi Nobukawa, Yutaro Katano, Tetsuhiko Muroi, -1

机译：双峰不相干数字全息技术可同时进行三维成像和准无限景深成像
7. Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy [O] . Berkholz Christoph, Krebs Andreas, Verbitsky Oleg 2013

机译：有限变量逻辑中量词深度的界限：交替层次
8. Planarity Testing of Double Periodic Infinite Graphs [R] . Iwano, K., Steiglitz, K. 1988

机译：双周期无穷图的平面测试

The mu-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs

摘要

著录项

相似文献

相关主题

期刊订阅