DMCA

Automatic equivalence proofs for non-deterministic coalgebras (2011)

by Marcello Bonsangue , Georgiana Caltais , Eugen-ioan Goriac , Dorel Lucanu , Jan Rutten , Alexandra Silva
Citations:1 - 0 self