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

Igor Cappello Paola 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