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:
CoRR (2013)
Keyphrases
</>
black box
data driven
theorem prover
theorem proving
data mining
digital libraries
semi automatic
fully automatic