Automated reasoning about parallel algorithms using powerlists
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 416-430
- https://doi.org/10.1007/3-540-60043-4_68
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A mechanizable induction principle for equational specificationsPublished by Springer Nature ,2005
- An overview of Rewrite Rule Laboratory (RRL)Computers & Mathematics with Applications, 1995
- Powerlist: a structure for parallel recursionACM Transactions on Programming Languages and Systems, 1994
- ARRAYS AND TREESPublished by Elsevier ,1992