Pages that link to "Item:Q1601867"
From MaRDI portal
The following pages link to A taxonomy of parallel strategies for deduction (Q1601867):
Displaying 8 items.
- A cooperative parallelization approach for property-directed \(k\)-induction (Q784140) (← links)
- Octopus: combining learning and parallel search (Q861370) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- SPARKs: succinct parallelizable arguments of knowledge (Q2055636) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES (Q3583061) (← links)