![](/img/cover-not-exists.png)
[IEEE 2018 International Symposium on Information Theory and Its Applications (ISITA) - Singapore (2018.10.28-2018.10.31)] 2018 International Symposium on Information Theory and Its Applications (ISITA) - Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean
Kong, Justin, Webb, David J., Hagiwara, ManabuYear:
2018
Language:
english
DOI:
10.23919/ISITA.2018.8664354
File:
PDF, 215 KB
english, 2018