Login / Signup

Proof System for Applied Pi Calculus.

Jia LiuHuimin Lin
Published in: IFIP TCS (2010)
Keyphrases
  • artificial intelligence
  • information retrieval
  • similarity measure
  • data sets
  • expert systems