- Ralph Matthes, Tarmo Uustalu:
6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. Institute of Cybernetics 2009, ISBN 978-9949-430-29-1 [contents] - 2003
- Andreas Abel, Ralph Matthes:
Primitive Recursion for Rank-2 Inductive Types. FICS 2003: 1-3 - André Arnold, Luigi Santocanale:
On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. FICS 2003: 4-13 - Vincent Danos, Josée Desharnais:
A Fixpoint Logic for Labeled Markov Processes. FICS 2003: 14-18 - Luís Dominguez:
A Bisimilarity Logical Relation for the Object Calculus S. FICS 2003: 19-31 - Neil Ghani, Tarmo Uustalu:
Coproducts of Ideal Monads (Extended Abstract). FICS 2003: 32-36 - Erich Grädel:
Inflationary and Deflationary Fixed Points (Invited Talk). FICS 2003: 37-41 - Martin Grohe:
Monadic Datalog on Trees (Invited Talk). FICS 2003: 42-43 - Claus Jürgensen:
Monadic Fusion of Functional Programs. FICS 2003: 44-63 - Eugenio Moggi, Amr Sabry:
An Abstract Monadic Semantics for Value Recursion. FICS 2003: 64-79 - Damian Niwinski:
Hierarchies in mu-Calculus (Invited Talk). FICS 2003: 80 - Tarmo Uustalu, Varmo Vene:
An Alternative Characterization of Complete Iterativeness (Extended Abstract). FICS 2003: 81-83 - Zoltán Ésik, Igor Walukiewicz:
FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. University of Warsaw 2003 [contents] - 2002
- Luca Aceto:
Kleene through the process algebraic glass. FICS 2002: 20-21 - Jirí Adámek, Stefan Milius, Jirí Velebil:
Parametric corecursion and completely iterative monads. FICS 2002: 2-5 - Nick Benton, Martin Hyland:
Traced pre-monoidal categories. FICS 2002: 12-19 - Gérard Boudol, Pascal Zimmer:
Recursion in the call-by-value lambda-calculus. FICS 2002: 61-66 - Benet Devereux:
Strong next-time operators for multiple-valued mu-calculus. FICS 2002: 40-43 - Neil Ghani, Christoph Lüth, Federico De Marchi:
Coalgebraic approaches to algebraic terms. FICS 2002: 6-8 - Thomas P. Jensen, Florimond Ployette, Olivier Ridoux:
Iteration schemes for fixed point calculation. FICS 2002: 69-76 - Margarita V. Korovina:
Fixed points on abstract structures without the equality test. FICS 2002: 58-60 - Dexter Kozen:
On two letters versus three. FICS 2002: 44-50 - Anna Labella:
Kleene's (unary) star in nondeterministic context. FICS 2002: 67-68 - Hans Leiß:
Kleenean semimodules and linear languages. FICS 2002: 51-53 - Luigi Santocanale:
Congruences of modal µ-algebras. FICS 2002: 77-81 - Nikolay V. Shilov, Natalya Olegovna Garanina:
Model checking knowledge and fixpoints. FICS 2002: 25-39 - Christoph Sprenger, Mads Dam:
A note on global induction in a mu-calculus with explicit approximations. FICS 2002: 22-24 - Tarmo Uustalu:
Generalizing substitution. FICS 2002: 9-11 - Glynn Winskel:
Calculus for categories. FICS 2002: 1 - Guo-Qiang Zhang:
Decidable fragments of domain mu-calculus: an automata-theoretic perspective. FICS 2002: 54-57
