Cadilhac, Michaël
- Acacia-Bonsai
2022/04/12 by Michaël Cadilhac, Cadilhac, Michaël, Guillermo A. Pérez +1 · 1 citation
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical Software (cs.MS)
- Weak Cost Register Automata are Still Powerful
2018/04/17 by Almagor, Shaull, Cadilhac, Michaël, Mazowiecki, Filip +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)