Login / Signup

A Translation of Beta-binders in a Prioritized Pi-calculus.

Igor CappelloPaola Quaglia
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • machine translation
  • databases
  • automated deduction
  • neural network
  • evolutionary algorithm
  • cross language information retrieval
  • computer algebra
  • data sets
  • target language
  • possibilistic logic