Login / Signup
Automatic equivalence proofs for non-deterministic coalgebras.
Marcello M. Bonsangue
Georgiana Caltais
Eugen-Ioan Goriac
Dorel Lucanu
Jan J. M. M. Rutten
Alexandra Silva
Published in:
Sci. Comput. Program. (2013)
Keyphrases
</>
black box
image processing
databases
neural network
social networks
e learning