The SCEAS System
Navigation Menu

Conferences in DBLP

Fixed Points in Computer Science (fics)
2002 (conf/fics/2002)

  1. Glynn Winskel
    Calculus for categories. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:1- [Conf]
  2. Jirí Adámek, Stefan Milius, Jiri Velebil
    Parametric corecursion and completely iterative monads. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:2-5 [Conf]
  3. Neil Ghani, Christoph Lüth, Federico De Marchi
    Coalgebraic approaches to algebraic terms. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:6-8 [Conf]
  4. Tarmo Uustalu
    Generalizing substitution. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:9-11 [Conf]
  5. Nick Benton, Martin Hyland
    Traced pre-monoidal categories. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:12-19 [Conf]
  6. Luca Aceto
    Kleene through the process algebraic glass. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:20-21 [Conf]
  7. Christoph Sprenger, Mads Dam
    A note on global induction in a mu-calculus with explicit approximations. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:22-24 [Conf]
  8. Nikolay V. Shilov, Natalya Olegovna Garanina
    Model checking knowledge and fixpoints. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:25-39 [Conf]
  9. Benet Devereux
    Strong next-time operators for multiple-valued mu-calculus. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:40-43 [Conf]
  10. Dexter Kozen
    On two letters versus three. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:44-50 [Conf]
  11. Hans Leiß
    Kleenean semimodules and linear languages. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:51-53 [Conf]
  12. Guo-Qiang Zhang
    Decidable fragments of domain mu-calculus: an automata-theoretic perspective. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:54-57 [Conf]
  13. Margarita V. Korovina
    Fixed points on abstract structures without the equality test. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:58-60 [Conf]
  14. Gérard Boudol, Pascal Zimmer
    Recursion in the call-by-value lambda-calculus. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:61-66 [Conf]
  15. Anna Labella
    Kleene's (unary) star in nondeterministic context. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:67-68 [Conf]
  16. Thomas P. Jensen, Florimond Ployette, Olivier Ridoux
    Iteration schemes for fixed point calculation. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:69-76 [Conf]
  17. Luigi Santocanale
    Congruences of modal µ-algebras. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:77-81 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002