- Arnaud Carayol:
Structures Defined by Higher-Order Recursion Schemes. FICS 2010: 7 - Marek Czarnecki:
How Fast Can the Fixpoints in Modal mu-Calculus Be Reached? FICS 2010: 35-39 - Hervé Grall:
Proving Fixed Points. FICS 2010: 41-46 - Paul Blain Levy:
Characterizing Recursive Programs up to Bisimilarity. FICS 2010: 47-52 - Dale Miller:
Fixed Points and Proof Theory: An Extended Abstract. FICS 2010: 9-16 - Matteo Mio:
The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus. FICS 2010: 53-59 - Keiko Nakata:
Denotational Semantics for Lazy Initialization of letrec. FICS 2010: 61-67 - Andrei E. Romashchenko:
Fixed Point Argument and Tilings without Long Range Order. FICS 2010: 69-75 - Panos Rondogiannis:
Fixed-Point Semantics for Non-Monotonic Formalisms. FICS 2010: 17 - Tarmo Uustalu:
A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators. FICS 2010: 77-82 - Pawel Waszkiewicz:
Common Patterns for Metric and Ordered Fixed Point Theorems. FICS 2010: 83-87 - Luigi Santocanale:
7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. Laboratoire d'Informatique Fondamentale de Marseille 2010 [contents] - 2009
- Loredana Afanasiev, Balder ten Cate:
On Core XPath with Inflationary Fixed Points. FICS 2009: 11-17 - Lars Birkedal, Kristian Støvring, Jacob Thamsborg:
Solutions of Generalized Recursive Metric-Space Equations. FICS 2009: 18-24 - Stephen L. Bloom, Zoltán Ésik:
Scattered Algebraic Linear Orderings. FICS 2009: 25-29 - Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond:
Pola: A Language for PTIME Programming. FICS 2009: 7-8 - Balder ten Cate, Gaëlle Fontaine:
An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. FICS 2009: 30-38 - Pierre Clairambault:
Least and Greatest Fixpoints in Game Semantics. FICS 2009: 39-45 - Javier Esparza, Stefan Kiefer, Michael Luttenberger:
Solving Fixed-Point Equations on omega-Continuous Semirings. FICS 2009: 9 - Martin Hofmann, Dulma Rodriguez:
Membership Checking in Greatest Fixpoints Revisited. FICS 2009: 46-53 - Stephan Kreutzer, Martin Lange:
A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. FICS 2009: 54-60 - Robert S. R. Myers:
Coalgebraic Expressions. FICS 2009: 61-69 - Omer Landry Nguena-Timo, Pierre-Alain Reynier:
On Characteristic Formulae for Event-Recording Automata. FICS 2009: 70-78 - Milad Niqui, Jan Rutten:
Coinductive Predicates as Final Coalgebras. FICS 2009: 79-85 - Pawel Parys:
Lower Bound for Evaluation of mu-nu Fixpoint. FICS 2009: 86-92 - Daniel Stamate:
A Bilattice Based Fixed Point Semantics for Integrating Imperfect Information. FICS 2009: 93-99 - Kohtaro Tadaki:
Fixed Points on Partial Randomness. FICS 2009: 100-107 - Yoshinori Tanabe, Masami Hagiya:
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS 2009: 108-115 - Lionel Vaux:
A Non-uniform Finitary Relational Semantics of System T. FICS 2009: 116-123 - Yde Venema:
Fixpoint Logics and Automata: A Coalgebraic Approach. FICS 2009: 10
