Marc Zeitoun
- On all things star-free
2019/04/26 by Thomas Place, Marc Zeitoun, Place, Thomas +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #semigroups and automata theory
- Group separation strikes back
2022/05/03 by Thomas Place, Marc Zeitoun, Place, Thomas +1 · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #semigroups and automata theory #DNA and Biological Computing #Logic, programming, and type systems
- Closing star-free closure
2023/07/18 by Thomas Place, Place, Thomas, Marc Zeitoun +1 · 1 citation
Computer Science · #semigroups and automata theory #Formal Methods in Verification #Logic, programming, and type systems
- Navigational hierarchies of regular languages
2024/02/15 by Thomas Place, Place, Thomas, Marc Zeitoun +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Cellular Automata and Applications #DNA and Biological Computing #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #semigroups and automata theory
- Going higher in the First-order Quantifier Alternation Hierarchy on Words
2014/04/27 by Thomas Place, Marc Zeitoun, Place, Thomas +1 · 1 voice · 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) #Logic in Computer Science (cs.LO) #semigroups and automata theory