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