Sorting by Exchanging

Sorting by Exchanging

Bibliographic Details
Main Author:	Bancerek Grzegorz
Format:	Article
Language:	English
Published:	Sciendo 2011-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/v10037-011-0015-4

Similar Items

Analysis of Algorithms: An Example of a Sort Algorithm
by: Bancerek Grzegorz
Published: (2013-01-01)

Representation Theorem for Stacks
by: Bancerek Grzegorz
Published: (2011-01-01)

Veblen Hierarchy
by: Bancerek Grzegorz
Published: (2011-01-01)

Epsilon Numbers and Cantor Normal Form
by: Bancerek Grzegorz
Published: (2009-01-01)

A Model of Mizar Concepts - Unification
by: Bancerek Grzegorz
Published: (2010-01-01)

Mizar Analysis of Algorithms: Preliminaries
by: Bancerek Grzegorz
Published: (2007-01-01)

Semantics of MML Query
by: Bancerek Grzegorz
Published: (2012-12-01)

Free Term Algebras
by: Bancerek Grzegorz
Published: (2012-12-01)

Towards the Construction of a Model of Mizar Concepts
by: Bancerek Grzegorz
Published: (2008-01-01)

Mizar Analysis of Algorithms: Algorithms over Integers
by: Bancerek Grzegorz
Published: (2008-01-01)

Program Algebra over an Algebra
by: Bancerek Grzegorz
Published: (2012-12-01)

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
by: Bancerek Grzegorz
Published: (2014-03-01)

Term Context
by: Bancerek Grzegorz
Published: (2014-06-01)

Semantics of MML Query - Ordering
by: Bancerek Grzegorz
Published: (2013-01-01)

Algebraic Approach to Algorithmic Logic
by: Bancerek Grzegorz
Published: (2014-09-01)

On Multiset Ordering
by: Bancerek Grzegorz
Published: (2016-06-01)

Introduction to Matroids
by: Bancerek Grzegorz, et al.
Published: (2008-01-01)

Sort of but sort of not : the theory of metaphysical indeterminacy
by: Warom, Carl Michael
Published: (2015)

Characterization of two sorting nexins : sorting nexin-11 and sorting nexin-30
by: Cameron, Michel
Published: (2015)

The address sort and other computer sorting techniques
by: Underhill, Leslie G
Published: (2016)

SortedEffects: Sorted Causal Effects in R
by: Chen, Shuowen, et al.
Published: (2022)

To sort, or not to sort, that is the question : Factors influencing the sorting of food waste among homeowners in the City of Lidingö
by: Hedenström, Eva
Published: (2012)

Valuation Theory. Part I
by: Bancerek Grzegorz, et al.
Published: (2012-01-01)

Color Sorting Robot : Sorting algorithm by color identification
by: FREDRIKSSON, TOMAS, et al.
Published: (2016)

Array sort: an adaptive sorting algorithm on multi-thread
by: Xin Huang, et al.
Published: (2019-03-01)

Sort of Specific
by: Foster, Elizabeth M.
Published: (2019)

Investigation on sorting
by: Chih-hung Tzeng, et al.

Sort injuste ?
by: Olivier Christin
Published: (2019-11-01)

Investigation on sorting
by: Chih-hung Tzeng, et al.
Published: (2004)

The Possibilities of Sort Of
by: Robinson, Jesse
Published: (2008)

LazySorted: A Lazily, Partially Sorted Python List
by: Naftali Harris
Published: (2015-06-01)

Evolving Agent Swarms for Clustering,Patch Sorting, and Annular Sorting
by: Hartmann, Vegard
Published: (2005)

Style anomalies on the Toronto Stock Exchange : a univariate, multivariate, style timing and portfolio sorting analysis
by: Dunn, Bryan
Published: (2014)

DeepSort: deep convolutional networks for sorting haploid maize seeds
by: Balaji Veeramani, et al.
Published: (2018-08-01)

A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
by: Liyi Li, et al.
Published: (2018-02-01)

SA Sorting: A Novel Sorting Technique for Large-Scale Data
by: Mohammad Shabaz, et al.
Published: (2019-01-01)

Wafer Sort Map Automatic Sorting System and Yield Model Validation
by: Wei-Ming Chang, et al.
Published: (2004)

Sorting out ethics
by: Giovani Mendonça Lunardi
Published: (2003-01-01)

Sorting cells by their density.
by: Nazila Norouzi, et al.
Published: (2017-01-01)

Sorting Rubbish by Computer
Published: (1974-10-01)