Article ID Journal Published Year Pages File Type
6875429 Theoretical Computer Science 2018 22 Pages PDF
Abstract
We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphs
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
Authors
, ,