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

Metadata only

Author

Date

2012-10-07

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Proceedings of Third International Symposium on Games, Automata, Logics and Formal Verification

Journal / series

Electronic Proceedings in Theoretical Computer Science

Volume

96

Pages / Article No.

113 - 126

Publisher

Open Publishing Association

Event

Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012), Napoli, Italy, September 6-8, 2012

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection