D'Agostino, Giovanna
- Uniform Interpolation for Propositional and Modal Team Logics
2018/10/12 by D'Agostino, Giovanna · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Ordering Regular Languages and Automata: Complexity
2022/03/23 by Giovanna D’Agostino, D'Agostino, Giovanna, Davide Martincigh +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #DNA and Biological Computing #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #semigroups and automata theory