20 citations · 133 across the 31 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CO2021★ 1 cited
The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
Karel Klouda, Štěpán Starosta
Let be an HD0L-system. We show that there are only finitely many primitive words with the property that , for all integers , is an element of the factorial language…
cs.LO2021★ 1 cited
Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL
Martin Raška, Štěpán Starosta
Many facts possess symmetrical counterparts that often require a separate formal proof, depending on the nature of the involved symmetry. We introduce a method in Isabelle/HOL whic…