Partial Fixed−Point Logic on Infinite Structures
S. Kreutzer
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
S. Kreutzer