Login / Signup

-Calculi.

Robin Milner
Published in: Theor. Comput. Sci. (1977)
Keyphrases
  • sequent calculi
  • qualitative spatial and temporal reasoning
  • data sets
  • real world
  • data mining
  • machine learning
  • multi agent
  • computational complexity
  • qualitative spatial reasoning
  • qualitative spatial