We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphs
The mu calculus alternation depth hierarchy is infinite over finite planar graphs
Lenzi, Giacomo
2018
Abstract
We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphsFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
