Login / Signup

On the existence and decidability of unique decompositions of processes in the applied π-calculus.

Jannik DreierCristian EnePascal LafourcadeYassine Lakhnech
Published in: Theor. Comput. Sci. (2016)
Keyphrases
  • databases
  • artificial intelligence
  • database
  • neural network
  • data mining
  • case study
  • bayesian networks
  • special case
  • singular value decomposition
  • decision procedures