Gabriele Puppis
- Logics with rigidly guarded data tests
2014/10/31 by Gabriele Puppis, Thomas Colcombet, Clemens Ley · 1 citation
Computer Science · #cs.FL #cs.LO
- Equivalence of finite-valued streaming string transducers is decidable
2019/02/19 by Anca Muscholl, Gabriele Puppis, Muscholl, Anca +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #DNA and Biological Computing #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #cs.FL #semigroups and automata theory