RAIRO - Theoretical Informatics and Applications
Volume 37 / No 4 (October-December 2003)
Fixed Points in Computer Science (FICS'02)
Traced Premonoidal Categories p. 273
Published online: 15 January 2004
Solving Algebraic Equations Using Coalgebra p. 301
Published online: 15 January 2004
Generalizing Substitution p. 315
Published online: 15 January 2004
Domain mu-calculus p. 337
Published online: 15 January 2004
On global induction mechanisms in a μ-calculus with explicit approximations p. 365
Published online: 15 January 2004