共 50 条
- [4] A weighted insertion-deletion stacked pair thermodynamic metric for DNA codes DNA COMPUTING, 2005, 3384 : 90 - 103
- [6] Insertion-Deletion with Substitutions II DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2020, 2020, 12442 : 231 - 243
- [7] Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean PROCEEDINGS OF 2018 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA2018), 2018, : 11 - 15