The Complexity of Independence−Friendly Fixpoint Logic
Julian Bradfield and Stephan Kreutzer
Details
| Book 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
Related pages
|
People |