Acerca de este artículo
Publicado en línea: 23 ago 2013
Páginas: 1 - 23
DOI: https://doi.org/10.2478/forma-2013-0001
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.