Sorting by Exchanging

DOI10.2478/V10037-011-0015-4zbMath1276.68065OpenAlexW2076333265MaRDI QIDQ2865736

Grzegorz Bancerek

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0015-4

Mathematics Subject Classification ID

Searching and sorting (68P10)

Related Items (2)

Program Algebra over an Algebra ⋮ Analysis of Algorithms: An Example of a Sort Algorithm

Uses Software

• Mizar

Cites Work

• Veblen Hierarchy

This page was built for publication: Sorting by Exchanging