 | 2009 |
|---|
| 26 |       | J. Robin B. Cockett,
Luigi Santocanale:
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.
CSL 2009: 194-208 |
| 25 | | Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)
CoRR abs/0903.3462: (2009) |
| 24 | | Luigi Santocanale,
J. Robin B. Cockett:
On the word problem for SP-categories, and the properties of two-way communication
CoRR abs/0904.1529: (2009) |
| 23 | | Luigi Santocanale:
Topological Properties of Event Structures.
Electr. Notes Theor. Comput. Sci. 230: 149-160 (2009) |
| 2008 |
|---|
| 22 | | Walid Belkhir,
Luigi Santocanale:
The Variable Hierarchy for the Lattice µ-Calculus.
LPAR 2008: 605-620 |
| 21 | | Luigi Santocanale:
Completions of µ-algebras.
Ann. Pure Appl. Logic 154(1): 27-50 (2008) |
| 20 | | Luigi Santocanale,
Yde Venema:
Completeness for Flat Modal Fixpoint Logics
CoRR abs/0812.2390: (2008) |
| 2007 |
|---|
| 19 | | Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3.
CONCUR 2007: 151-165 |
| 18 | | Walid Belkhir,
Luigi Santocanale:
Undirected Graphs of Entanglement 2.
FSTTCS 2007: 508-519 |
| 17 | | Luigi Santocanale,
Yde Venema:
Completeness for Flat Modal Fixpoint Logics.
LPAR 2007: 499-513 |
| 16 | | Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3
CoRR abs/0704.2355: (2007) |
| 15 | | Walid Belkhir,
Luigi Santocanale:
Undirected Graphs of Entanglement Two
CoRR abs/0705.0419: (2007) |
| 14 | | Walid Belkhir,
Luigi Santocanale:
The Variable Hierarchy for the Games mu-Calculus
CoRR abs/0710.2419: (2007) |
| 13 | | Luigi Santocanale:
On the Join Dependency Relation in Multinomial Lattices.
Order 24(3): 155-179 (2007) |
| 2005 |
|---|
| 12 | | Luigi Santocanale:
Completions of µ-algebras.
LICS 2005: 219-228 |
| 11 | | Luigi Santocanale,
André Arnold:
Ambiguous classes in mu-calculi hierarchies.
Theor. Comput. Sci. 333(1-2): 265-296 (2005) |
| 2003 |
|---|
| 10 | | André Arnold,
Luigi Santocanale:
Ambiguous Classes in the Games µ-Calculus Hierarchy.
FoSSaCS 2003: 70-86 |
| 9 | | Silvio Ghilardi,
Luigi Santocanale:
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics.
LPAR 2003: 152-166 |
| 8 | | Luigi Santocanale:
Logical Construction of Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 7 | | Luigi Santocanale:
On the equational definition of the least prefixed point.
Theor. Comput. Sci. 295: 341-370 (2003) |
| 2002 |
|---|
| 6 |  | Luigi Santocanale:
Congruences of modal µ-algebras.
FICS 2002: 77-81 |
| 5 | | Luigi Santocanale:
A Calculus of Circular Proofs and Its Categorical Semantics.
FoSSaCS 2002: 357-371 |
| 4 | | Luigi Santocanale:
From Parity Games to Circular Proofs.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 3 | | J. Robin B. Cockett,
Luigi Santocanale:
Induction, Coinduction, and Adjoints.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 2 | | Luigi Santocanale:
µ-Bicomplete Categories and Parity Games.
ITA 36(2): 195-227 (2002) |
| 2001 |
|---|
| 1 | | Luigi Santocanale:
On the Equational Definition of the Least Prefixed Point.
MFCS 2001: 645-656 |
