Abstract is missing.
- Pola: A Language for PTIME ProgrammingMichael J. Burrell, J. Robin B. Cockett, Brian F. Redmond. 7-8 [doi]
- Solving Fixed-Point Equations on omega-Continuous SemiringsJavier Esparza, Stefan Kiefer, Michael Luttenberger. 9 [doi]
- Fixpoint Logics and Automata: A Coalgebraic ApproachYde Venema. 10 [doi]
- On Core XPath with Inflationary Fixed PointsLoredana Afanasiev, Balder ten Cate. 11-17 [doi]
- Solutions of Generalized Recursive Metric-Space EquationsLars Birkedal, Kristian Støvring, Jacob Thamsborg. 18-24 [doi]
- Scattered Algebraic Linear OrderingsStephen L. Bloom, Zoltán Ésik. 25-29 [doi]
- An Easy Completeness Proof for the Modal mu-Calculus on Finite TreesBalder ten Cate, Gaëlle Fontaine. 30-38 [doi]
- Least and Greatest Fixpoints in Game SemanticsPierre Clairambault. 39-45 [doi]
- Membership Checking in Greatest Fixpoints RevisitedMartin Hofmann 0001, Dulma Rodriguez. 46-53 [doi]
- A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher OrderStephan Kreutzer, Martin Lange 0001. 54-60 [doi]
- Coalgebraic ExpressionsRobert S. R. Myers. 61-69 [doi]
- On Characteristic Formulae for Event-Recording AutomataOmer Landry Nguena-Timo, Pierre-Alain Reynier. 70-78 [doi]
- Coinductive Predicates as Final CoalgebrasMilad Niqui, Jan Rutten. 79-85 [doi]
- Lower Bound for Evaluation of mu-nu FixpointPawel Parys. 86-92 [doi]
- A Bilattice Based Fixed Point Semantics for Integrating Imperfect InformationDaniel Stamate. 93-99 [doi]
- Fixed Points on Partial RandomnessKohtaro Tadaki. 100-107 [doi]
- Fixed-Point Computations over Functions on Integers with Operations min, max and plusYoshinori Tanabe, Masami Hagiya. 108-115 [doi]
- A Non-uniform Finitary Relational Semantics of System TLionel Vaux. 116-123 [doi]