Graph Lemma

MaRDI QIDQ7361945FDO

Authors Štěpán Holub, Martin Raška, Štěpán Starosta

Publication date 24 May 2021

Cites work

• A proof strategy language and proof script generation for Isabelle/HOL
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Periodicity and unbordered segments of words
• Sur le théorème du defaut
• The equation \(a_ M=b^ Nc^ P\) in a free group

Cited in

(2)

• Intersection of two monoids generated by two element codes
• Binary codes that do not preserve primitivity

This page was built for software: Graph Lemma