This paper presents a taxonomy of parallel theorem-proving strategies and new notions of parallel search plans. A motivation for this undertaking is that parallelism affects the control of deduction. Additional motivations come from strategy analysis and engineering of theorem provers.
File in questo prodotto:
Non ci sono file associati a questo prodotto.