FICS 2002:
Copenhagen,
Denmark
Zoltán Ésik, Anna Ingólfsdóttir (Eds.):
Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings.
BRICS Notes Series NS-02-2 University of Aarhus 2002 
- Glynn Winskel:
Calculus for categories.
1
- Jirí Adámek, Stefan Milius, Jiri Velebil:
Parametric corecursion and completely iterative monads.
2-5
- Neil Ghani, Christoph Lüth, Federico De Marchi:
Coalgebraic approaches to algebraic terms.
6-8
- Tarmo Uustalu:
Generalizing substitution.
9-11
- Nick Benton, Martin Hyland:
Traced pre-monoidal categories.
12-19
- Luca Aceto:
Kleene through the process algebraic glass.
20-21
- Christoph Sprenger, Mads Dam:
A note on global induction in a mu-calculus with explicit approximations.
22-24
- Nikolay V. Shilov, Natalya Olegovna Garanina:
Model checking knowledge and fixpoints.
25-39
- Benet Devereux:
Strong next-time operators for multiple-valued mu-calculus.
40-43
- Dexter Kozen:
On two letters versus three.
44-50
- Hans Leiß:
Kleenean semimodules and linear languages.
51-53
- Guo-Qiang Zhang:
Decidable fragments of domain mu-calculus: an automata-theoretic perspective.
54-57
- Margarita V. Korovina:
Fixed points on abstract structures without the equality test.
58-60
- Gérard Boudol, Pascal Zimmer:
Recursion in the call-by-value lambda-calculus.
61-66
- Anna Labella:
Kleene's (unary) star in nondeterministic context.
67-68
- Thomas P. Jensen, Florimond Ployette, Olivier Ridoux:
Iteration schemes for fixed point calculation.
69-76
- Luigi Santocanale:
Congruences of modal µ-algebras.
77-81
Copyright © Tue Feb 9 19:26:36 2010
by Michael Ley (ley@uni-trier.de)
