Real Equation Systems with Alternating Fixed-Points.

Jan Friso Groote, Tim A. C. Willemse

Browse the full CONCUR paper archive.