Login / Signup
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