Jump from parallel to sequential proofs: exponentials.

Paolo Di Giamberardino

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

parallel version
markov chain
parallel processing
parallel implementation
linear logic
real time
data mining
theorem proving
image segmentation
theorem prover
shared memory
parallel computation
sequent calculus
parallel hardware