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