Login / Signup
A complete symbolic bisimulation for full applied pi calculus.
Jia Liu
Huimin Lin
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
neural network
hidden markov models
learning algorithm
search algorithm