Daniel Goč

Automatic Theorem-Proving in Combinatorics on Words

Jeffrey Shallit, Daniel Goč, Dane Henshall, 2012, CIAA.

Automatic Sequences and Decidable Properties: Implementation and Applications

Daniel Goč, 2013 .