We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphs
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
D'Agostino, Giovanna;LENZI, Giacomo
2018-01-01
Abstract
We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphsFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TCS-S-17-00199.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
558.6 kB
Formato
Adobe PDF
|
558.6 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
