READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking.

Makarius Wenzel

Published in: UITP (2012)

Keyphrases

asynchronous cellular automata
depth first search
database
information retrieval
parallel processing
massively parallel
document images
theorem proving
parallel implementation
computer architecture
parallel programming
consistency checking
parallel architecture