<abstract xmlns="http://www.w3.org/1999/xhtml"><p>We analyse three algorithms: exponentiation by squaring, calculation of maximum, and sorting by exchanging in terms of program algebra over an algebra.</p></abstract>

We analyse three algorithms: exponentiation by squaring, calculation of maximum, and sorting by exchanging in terms of program algebra over an algebra.

Analysis of Algorithms: An Example of a Sort Algorithm

Association of Mizar Users Białystok, Poland

Analysis of Algorithms: An Example of a Sort Algorithm

Online veröffentlicht: 23. Aug. 2013

Seitenbereich: 1 - 23

DOI: https://doi.org/10.2478/forma-2013-0001

This content is open access.