Login / Signup

Properties of co-operations: diagrammatic proofs.

Pierre Rannou
Published in: Math. Struct. Comput. Sci. (2012)
Keyphrases
  • desirable properties
  • real time
  • data sets
  • real world
  • web services
  • digital libraries
  • mobile robot
  • structural properties