Context-free coalgebras

2014/12/03 by Joost de Winter, Joost Winter, Marcello M. Bonsangue +3
Computer Science · #Logic, programming, and type systems #semigroups and automata theory #Logic, Reasoning, and Knowledge

paper · doi:10.1016/j.jcss.2014.12.004

Citations

• Derivatives of Regular Expressions