scientific article; zbMATH DE number 4164187
From MaRDI portal
Publication:3491009
Recommendations
Cited in
(22)- A bibliography on parallel inference machines
- PARTHENON: A parallel theorem prover for non-horn clauses
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- SPS-parallelism+SETHEO=SPTHEO
- Parallelization of a hyper-linking-based theorem prover
- A taxonomy of parallel strategies for deduction
- Near-Horn Prolog and the ancestry family of procedures
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
- PARTHEO
- Parallel inference search in logical calculus based on the algebraic programming system
- Distributing the workload in a lazy theorem-prover
- scientific article; zbMATH DE number 4180829 (Why is no real title available?)
- Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them
- scientific article; zbMATH DE number 3986666 (Why is no real title available?)
- scientific article; zbMATH DE number 1552517 (Why is no real title available?)
- Exploiting parallelism: highly competitive semantic tree theorem prover
- A novel asynchronous parallelism scheme for first-order logic
- The clause-diffusion theorem prover Peers-mcd (system description)
- A parallelized theorem prover for a logic with parallel execution
- scientific article; zbMATH DE number 970747 (Why is no real title available?)
- Partheo: A high-performance parallel theorem prover
- Octopus: combining learning and parallel search
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3491009)
