Scalable Fine-Grained Proofs for Formula Processing.

Haniel Barbosa Jasmin Christian Blanchette Mathias Fleury Pascal Fontaine

Published in: J. Autom. Reason. (2020)

Keyphrases

fine grained
coarse grained
access control
massively parallel
tightly coupled
theorem prover
text processing
information retrieval
query processing