Partial Fixed−Point Logic on Infinite Structures
S. Kreutzer
Details
| Book Title |
Annual Conference of the European Association for Computer Science Logic (CSL) |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2471 |
| Year |
2002 |
Links
Related pages
|
People |