Odd-even sort in powerlists
Authors:
Jacob Kornerup
Affiliations:
-
Venue:
Information Processing Letters
Year:
1997
Citing
0
Cited
1
A Formalization of Powerlist Algebra in ACL2
Journal of Automated Reasoning
Quantified Score
Hi-index
0.89
Visualization
Abstract