The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

Thumbnail
Metadata only
Author
Gutierrez, Julian
Klaedtke, Felix
Lange, Martin
Date
2012
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Faella, Marco
Murano, Aniello
Journal / series
Electronic proceedings in theoretical computer science
Volume
96
Pages
113 - 126
Publisher
NICTA
Event
Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012), Napoli, Italy, September 6-8, 2012
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Altmetrics