106 articles – 48 Notices  [english version]
.:. Consultation > Liste par domaine > Informatique et théorie des jeux .:.
4 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 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 access The Variable Hierarchy for the Games mu-Calculus
Belkhir W., Santocanale L.
[hal-00178806 - version 2] (13/03/2008)