Classical Proofs as Parallel Programs.

Federico Aschieri Agata Ciabattoni Francesco A. Genco

Published in: GandALF (2018)

Keyphrases

computer programs
theorem prover
parallel processing
high level programming language
database
shared memory
parallel implementation
massively parallel
sorting algorithms
distributed memory machines
formal proofs
parallel hardware
java programs
classical methods
answer sets
information systems
real time