Formalization of Basic Combinatorics on Words

DOI10.4230/lipics.itp.2021.22OpenAlexW3175612780MaRDI QIDQ6099611

Štěpán Holub, Štěpán Starosta

Publication date: 20 June 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2021/13917/pdf/LIPIcs-ITP-2021-22.pdf/

zbMATH Keywords

combinatorics on wordsIsabelle/HOLformalization

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time ⋮ Verified verifying: SMT-LIB for strings in Isabelle ⋮ Binary codes that do not preserve primitivity

This page was built for publication: Formalization of Basic Combinatorics on Words