Jump from Parallel to Sequential Proofs: Multiplicatives.

Paolo Di Giamberardino Claudia Faggian

Published in: CSL (2006)

Keyphrases

parallel processing
parallel version
parallel implementation
image processing
markov chain
neural network
theorem proving
parallel computation
parallel hardware
genetic algorithm
hidden markov models
parallel processors
automated theorem provers