Publisher
Springer International Publishing
Reference17 articles.
1. Bonsangue, M. M., Rutten, J. J. M. M., & Silva, A. M. (2007). Regular expressions for polynomial coalgebras. Technical Report SEN-E0703, Centrum voor Wiskunde en Informatica, Amsterdam.
2. Bonsangue, M. M., Rutten, J. J. M. M., & Silva, A. M. (2009). A Kleene theorem for polynomial coalgebras. In L. de Alfaro (Ed.), Proceedings of the 12th international conference foundations of software science and computation structures (FoSSaCS 2009) (Vol. 5504, pp. 122–136)., of lecture notes in computer science New York: Springer.
3. Brzozowski, J. A. (1964). Derivatives of regular expressions. Journal of the Association for Computing Machinery, 11, 481–494.
4. Chen, H., & Pucella, R. (2003). A coalgebraic approach to Kleene algebra with tests. Electronic Notes in Theoretical Computer Science, 82(1),
5. Cohen, E., Kozen, D., & Smith, F. (1996). The complexity of Kleene algebra with tests. Technical Report TR96-1598, Computer Science Department, Cornell University.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Kleene algebra modulo theories: a framework for concrete KATs;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness;Lecture Notes in Computer Science;2020