Time-bounded parallel rewriting
From MaRDI portal
Recommendations
Cited in
(5)- Certifiably Sound Parallelizing Transformations
- scientific article; zbMATH DE number 4043269 (Why is no real title available?)
- scientific article; zbMATH DE number 1552516 (Why is no real title available?)
- scientific article; zbMATH DE number 1751887 (Why is no real title available?)
- Constant time parallel computations in \(\lambda\)-calculus
This page was built for publication: Time-bounded parallel rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486003)