@dblp

A Parallelized Theorem Prover for a Logic with Parallel Execution.

, , and . ITP, volume 7998 of Lecture Notes in Computer Science, page 435-450. Springer, (2013)

Links and resources

Tags