The following pages link to PARTHEO (Q21958):
Displaying 14 items.
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Nagging: A distributed, adversarial search-pruning technique applied to first-order inference (Q1373304) (← links)
- A taxonomy of parallel strategies for deduction (Q1601867) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- Parallel inference search in logical calculus based on the algebraic programming system (Q2452767) (← links)
- Automated theorem proving in software engineering. Foreword by Donald Loveland (Q2701734) (← links)
- Model elimination and connection tableau procedures (Q2751380) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- (Q4264737) (← links)
- (Q4530471) (← links)
- Fine-grained concurrent completion (Q5055848) (← links)
- A novel asynchronous parallelism scheme for first-order logic (Q5210792) (← links)
- A Parallelized Theorem Prover for a Logic with Parallel Execution (Q5327362) (← links)