INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 23 ago 2013
Pagine: 1 - 23
DOI: https://doi.org/10.2478/forma-2013-0001
Parole chiave
This content is open access.
We analyse three algorithms: exponentiation by squaring, calculation of maximum, and sorting by exchanging in terms of program algebra over an algebra.