109 articles – 57 Notices  [english version]
.:. Consultation > Liste par équipe > MOVE .:.
15 documents classés par :

Retracts of Products of Chordal Graphs
Brešar B., Chalopin J., Chepoi V., Kovše M., Labourel A., Vaxès Y.
Journal of Graph Theory 73, 2 (2013) 161-180 [hal-00866215 - version 1]
fulltext access On the word problem for SP-categories, and the properties of two-way communication
Santocanale L., Cockett R.
In 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] (2009-03-19)
fulltext access Completeness for Flat Modal Fixpoint Logics
Santocanale L., Venema Y.
[hal-00346782 - version 1] (2008-12-12)
fulltext access Structures algébriques en logique et concurrence
Santocanale L.
Université de Provence - Aix-Marseille I (09/12/2008), Rémi Morin (Pr.) [tel-00369583 - version 1]
fulltext access Peer to Peer Optimistic Collaborative Editing on XML-like trees
Lugiez D., Martin S.
[hal-00343484 - version 1] (27/01/2009)
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] (2008-03-13)
fulltext access A Nice Labelling for Tree-Like Event Structures of Degree 3
Santocanale L.
In CONCUR 2007 - CONCUR 2007, Portugal (2007) [hal-00142349 - version 1]
fulltext access Derived Semidistributive Lattices
Santocanale L.
[hal-00165699 - version 2] (2008-07-21)
fulltext access A Concurrent Calculus with Atomic Transactions
Acciai L., Boreale M., Dal Zilio S.
[hal-00109264 - version 1] (24/10/2006)
XML schema, tree logic and sheaves automata
Dal Zilio S., Lugiez D.
Applicable Algebra in Engineering, Communication and Computing 17 (2006) (5):337-377 [hal-00109288 - version 1]
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
Theoretical Computer Science 358 (2006) (2-3):229-254 [hal-00109277 - version 1]