F
elipe
E
scallón
E-Mails 📧
ed
.
mut
@
nollacse
.
epilef
Entries
2025
Two-Way Deterministic Finite Automata
by
Felipe Escallón
and
Tobias Nipkow
Jul 29