Computer Formalization of Deletion-Correcting Permutation Codes.

Minhan Gao, Kenneth W. Shum

Browse the full ITW paper archive.