| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luigi Santocanale |
A nice labelling for tree-like event structures of degree 3.  |
Inf. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Belkhir, Luigi Santocanale |
The variable hierarchy for the games µ-calculus. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for flat modal fixpoint logics. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Uniform Interpolation for Monotone Modal Logic. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale |
Topological Properties of Event Structures. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale, J. Robin B. Cockett |
On the word problem for SP-categories, and the properties of two-way communication |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | J. Robin B. Cockett, Luigi Santocanale |
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
??-categories, bicatersian categories, two-way communication, proof theory, game semantics, word problem |
| 1 | Luigi Santocanale |
Completions of µ-algebras. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Walid Belkhir, Luigi Santocanale |
The Variable Hierarchy for the Lattice µ-Calculus. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Belkhir, Luigi Santocanale |
The Variable Hierarchy for the Games mu-Calculus |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Walid Belkhir, Luigi Santocanale |
Undirected Graphs of Entanglement Two |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale |
A Nice Labelling for Tree-Like Event Structures of Degree 3 |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale |
On the Join Dependency Relation in Multinomial Lattices. |
Order |
2007 |
DBLP DOI BibTeX RDF |
Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies |
| 1 | Luigi Santocanale |
A Nice Labelling for Tree-Like Event Structures of Degree 3. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
fixpoint logic, completeness, modal algebra |
| 1 | Walid Belkhir, Luigi Santocanale |
Undirected Graphs of Entanglement 2. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, André Arnold |
Ambiguous classes in mu-calculi hierarchies. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
Completions of µ-algebras. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
On the equational definition of the least prefixed point. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
Logical Construction of Final Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi, Luigi Santocanale |
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | André Arnold, Luigi Santocanale |
Ambiguous Classes in the Games µ-Calculus Hierarchy. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
µ-Bicomplete Categories and Parity Games. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
From Parity Games to Circular Proofs. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Robin B. Cockett, Luigi Santocanale |
Induction, Coinduction, and Adjoints. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
Congruences of modal µ-algebras. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale |
A Calculus of Circular Proofs and Its Categorical Semantics. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
On the Equational Definition of the Least Prefixed Point. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")