Publisher
Springer International Publishing
Reference19 articles.
1. Buszkowski, W.: On action logic: equational theories of action algebras. J. Logic Comput. 17(1), 199–217 (2006). https://doi.org/10.1093/logcom/exl036
2. Cohen, E., Kozen, D., Smith, F.: The complexity of Kleene algebra with tests. Technical report TR96-1598, Computer Science Department, Cornell University (1996)
3. Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Logic 7(4), 798–833 (2006). https://doi.org/10.1145/1183278.1183285
4. Lecture Notes in Computer Science;J Desharnais,2008
5. Desharnais, J., Struth, G.: Internal axioms for domain semirings. Sci. Comput. Program. 76(3), 181–203 (2011). https://doi.org/10.1016/j.scico.2010.05.007. special issue onspecial issue on the Mathematics of Program Construction (MPC 2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献