The Complexity of Independence-Friendly Fixpoint Logic
Julian Bradfield and Stephan Kreutzer infobook title | Foundations of the Formal Sciences V - Infinite Games (FotFS V) |
publisher | College Publications, London, 2007 |
series | Studies in Logic |
volume | 11 |
year | 2007 |
links
BibTeX
related pages
|
