Richard Mayr
- Advanced Automata Minimization
2012/10/24 by Lorenzo Clemente, Clemente, Lorenzo, Richard Mayr +1 · 1 citation
Computer Science · #68Q45 #D.2.4 #Data Structures and Algorithms (cs.DS) #F.1.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory