
Conferences in DBLP
 Glynn Winskel
Calculus for categories. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:1 [Conf]
 Jirí Adámek, Stefan Milius, Jiri Velebil
Parametric corecursion and completely iterative monads. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:25 [Conf]
 Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic approaches to algebraic terms. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:68 [Conf]
 Tarmo Uustalu
Generalizing substitution. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:911 [Conf]
 Nick Benton, Martin Hyland
Traced premonoidal categories. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:1219 [Conf]
 Luca Aceto
Kleene through the process algebraic glass. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:2021 [Conf]
 Christoph Sprenger, Mads Dam
A note on global induction in a mucalculus with explicit approximations. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:2224 [Conf]
 Nikolay V. Shilov, Natalya Olegovna Garanina
Model checking knowledge and fixpoints. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:2539 [Conf]
 Benet Devereux
Strong nexttime operators for multiplevalued mucalculus. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:4043 [Conf]
 Dexter Kozen
On two letters versus three. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:4450 [Conf]
 Hans Leiß
Kleenean semimodules and linear languages. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:5153 [Conf]
 GuoQiang Zhang
Decidable fragments of domain mucalculus: an automatatheoretic perspective. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:5457 [Conf]
 Margarita V. Korovina
Fixed points on abstract structures without the equality test. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:5860 [Conf]
 Gérard Boudol, Pascal Zimmer
Recursion in the callbyvalue lambdacalculus. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:6166 [Conf]
 Anna Labella
Kleene's (unary) star in nondeterministic context. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:6768 [Conf]
 Thomas P. Jensen, Florimond Ployette, Olivier Ridoux
Iteration schemes for fixed point calculation. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:6976 [Conf]
 Luigi Santocanale
Congruences of modal µalgebras. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:7781 [Conf]
