Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics.

Alexei Lisitsa

Browse the full TIME paper archive.