FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: