Pous, Damien
- Kleene Algebra with Tests and Coq Tools for While Programs
2013/02/07 by Damien Pous, Pous, Damien · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical Software (cs.MS) #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
2014/07/09 by Damien Pous, Pous, Damien · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #semigroups and automata theory
- Higher Catoids, Higher Quantales and their Correspondences
2023/07/18 by Cameron Calk, Philippe Malbos, Calk, Cameron +5 · 1 citation
Chemistry · #History and advancements in chemistry