Binary Codes that do Not Preserve Primitivity
Authors: Štěpán Holub, Martin Raška and Štěpán Starosta
Paper Information
| Title: | Binary Codes that do Not Preserve Primitivity |
| Authors: | Štěpán Holub, Martin Raška and Štěpán Starosta |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | binary codes, preserving primitivity, parametric solution, factor interpretation, Isabelle/HOL |
| Pages: | 19 |
| Talk: | Aug 09 10:10 (Session 100D: Choices, Substitutions and Formalizations) |
| Paper: |  |