The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luigi Santocanale: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luigi Santocanale
    Congruences of modal µ-algebras. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:77-81 [Conf]
  2. André Arnold, Luigi Santocanale
    Ambiguous Classes in the Games µ-Calculus Hierarchy. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:70-86 [Conf]
  3. Luigi Santocanale
    A Calculus of Circular Proofs and Its Categorical Semantics. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:357-371 [Conf]
  4. Luigi Santocanale
    Completions of µ-algebras. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:219-228 [Conf]
  5. Silvio Ghilardi, Luigi Santocanale
    Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:152-166 [Conf]
  6. Luigi Santocanale
    On the Equational Definition of the Least Prefixed Point. [Citation Graph (0, 0)][DBLP]
    MFCS, 2001, pp:645-656 [Conf]
  7. J. Robin B. Cockett, Luigi Santocanale
    Induction, Coinduction, and Adjoints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  8. Luigi Santocanale
    From Parity Games to Circular Proofs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
  9. Luigi Santocanale
    Logical Construction of Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  10. Luigi Santocanale
    µ-Bicomplete Categories and Parity Games. [Citation Graph (0, 0)][DBLP]
    ITA, 2002, v:36, n:2, pp:195-227 [Journal]
  11. Luigi Santocanale
    On the equational definition of the least prefixed point. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:, pp:341-370 [Journal]
  12. Luigi Santocanale, André Arnold
    Ambiguous classes in mu-calculi hierarchies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:333, n:1-2, pp:265-296 [Journal]
  13. Luigi Santocanale
    A Nice Labelling for Tree-Like Event Structures of Degree 3. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:151-165 [Conf]
  14. Luigi Santocanale, Yde Venema
    Completeness for Flat Modal Fixpoint Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:499-513 [Conf]
  15. Luigi Santocanale
    A Nice Labelling for Tree-Like Event Structures of Degree 3 [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  16. Walid Belkhir, Luigi Santocanale
    Undirected Graphs of Entanglement Two [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  17. Walid Belkhir, Luigi Santocanale
    The Variable Hierarchy for the Games mu-Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  18. On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. [Citation Graph (, )][DBLP]


  19. Undirected Graphs of Entanglement 2. [Citation Graph (, )][DBLP]


  20. The Variable Hierarchy for the Lattice µ-Calculus. [Citation Graph (, )][DBLP]


  21. Completions of µ-algebras. [Citation Graph (, )][DBLP]


  22. The variable hierarchy for the games µ-calculus. [Citation Graph (, )][DBLP]


  23. Completeness for Flat Modal Fixpoint Logics [Citation Graph (, )][DBLP]


  24. A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) [Citation Graph (, )][DBLP]


  25. On the word problem for SP-categories, and the properties of two-way communication [Citation Graph (, )][DBLP]


  26. Topological Properties of Event Structures. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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