Partial Fixed-Point Logic on Infinite Structures.

Stephan Kreutzer

Browse the full CSL paper archive.