When a little nondeterminism goes a long way: a survey of history-deterministic automata

31 MARS 2022 15:00 | Durée 44:40 | Vues 340
haut de page