|
|
Partial Fixed-Point Logic on Infinite Structures
S. Kreutzer infobook 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
BibTeX
related pages
|
|
|
|
