research
∙
06/30/2020
Binary intersection formalized
We provide a reformulation and a formalization of the classical result b...
research
∙
03/13/2019
Generalized de Bruijn words and the state complexity of conjugate sets
We consider a certain natural generalization of de Bruijn words, and use...
research
∙
12/05/2017