106 articles – 48 Notices  [english version]
.:. Consultation > Liste par auteurs > Santocanale .:.
11 documents classés par :
fulltext access On the word problem for SP-categories, and the properties of two-way communication
Santocanale L., Cockett R.
Dans CSL 2009 - CSL 2009, Portugal (2009) [hal-00374654 - version 1]
fulltext access A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)
Santocanale L.
[hal-00369451 - version 1] (19/03/2009)
fulltext access Completeness for Flat Modal Fixpoint Logics
Santocanale L., Venema Y.
[hal-00346782 - version 1] (12/12/2008)
fulltext access Structures algébriques en logique et concurrence
Santocanale L.
Université de Provence - Aix-Marseille I (2008-12-09), Rémi Morin (Pr.) [tel-00369583 - version 1]
fulltext access Undirected Graphs of Entanglement Two
Belkhir W., Santocanale L.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Inde (2007) [hal-00144355 - version 2]
fulltext accessible on an other server Congruences of Multinomial Lattices
Santocanale L.
Order 24, 3 (2007) 155--179 [hal-00142355 - version 1]
fulltext accessible on an other server Completions of mu-algebras
Santocanale L.
Annals of Pure and Applied Logic 154, 1 (2007) 27-50 [hal-00142353 - version 1]
fulltext access The Variable Hierarchy for the Games mu-Calculus
Belkhir W., Santocanale L.
[hal-00178806 - version 2] (13/03/2008)
fulltext access A Nice Labelling for Tree-Like Event Structures of Degree 3
Santocanale L.
Dans CONCUR 2007 - CONCUR 2007, Portugal (2007) [hal-00142349 - version 1]
fulltext access Derived Semidistributive Lattices
Santocanale L.
[hal-00165699 - version 2] (21/07/2008)
fulltext accessible on an other server Logical Construction of Final Coalgebras
Santocanale L.
Electronic Notes in Theoretical Computer Science, Poland (2003) [hal-00111230 - version 1]