Karin Quaas
- The Containment Problem for Unambiguous Register Automata
2018/09/24 by Antoine Mottet, Mottet, Antoine, Karin Quaas +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #semigroups and automata theory