The Vectorisation Monad (1994)

by Jonathan M. D. Hill , Keith M. Clarke , Richard Bornat
Venue:PASCO'94: First International Symposium on Parallel Symbolic Computation
Citations:3 - 2 self