Parlists - A Generalization of Powerlists
Authors:
Jacob Kornerup
Affiliations:
-
Venue:
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Year:
1997
Citing
0
Cited
1
A Formalization of Powerlist Algebra in ACL2
Journal of Automated Reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract