The Complexity of Independence-Friendly Fixpoint Logic
Julian Bradfield and Stephan Kreutzer infobook title | Proceedings of the 14th Annual Conference of the European Association for Computer Science Logic (CSL) |
publisher | Springer |
series | Lecture Notes in Computer Science |
volume | 3634 |
year | 2005 |
links
BibTeX
related pages
|
