Parallel completion techniques
From MaRDI portal
Recommendations
Cited in
(6)- Completion for multiple reduction orderings
- Parallelization of the Buchberger algorithm
- Strategy compliant multi-threaded term completion
- scientific article; zbMATH DE number 1254280 (Why is no real title available?)
- scientific article; zbMATH DE number 1263425 (Why is no real title available?)
- Fine-grained concurrent completion
This page was built for publication: Parallel completion techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4225055)