Analysis of Algorithms: An Example of a Sort Algorithm (Q2852177): Difference between revisions

@@ Property / DOI @@
-.2478/forma-2013-0001
@@ Property / DOI: 10.2478/forma-2013-0001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/forma-2013-0001
+Normal rank
@@ Property / OpenAlex ID @@
+W2034215276
@@ Property / OpenAlex ID: W2034215276 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Algebra over an Algebra
@@ Property / cites work: Program Algebra over an Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Sorting by Exchanging
@@ Property / cites work: Sorting by Exchanging / rank @@
+Normal rank
@@ Property / cites work @@
+Free Term Algebras
@@ Property / cites work: Free Term Algebras / rank @@
+Normal rank
@@ Property / DOI @@
+.2478/FORMA-2013-0001
@@ Property / DOI: 10.2478/FORMA-2013-0001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2852177