Author:
Desharnais Jules,Struth Georg
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. http://www.dcs.shef.ac.uk/~georg/ka
2. Prover9 and Mace4,
http://www.cs.unm.edu/~mccune/prover9
3. Back, R.J.R., von Wright, J.: Reasoning algebraically about loops. Acta Informatica 36(4), 295–334 (1999)
4. Bergstra, J.A., Fokkink, W.J., Ponse, A.: Process algebra with recursive operations. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 333–389. Elsevier, Amsterdam (2001)
5. Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. ACM TOCL 7(4), 798–833 (2006)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Hierarchy of Algebras for Boolean Subsets;Relational and Algebraic Methods in Computer Science;2020
2. Taming Multirelations;ACM Transactions on Computational Logic;2016-11-15
3. Concurrent Dynamic Algebra;ACM Transactions on Computational Logic;2015-11-19
4. Radicals and Ideals of Affine Near-Semirings Over Brandt Semigroups;Semigroups, Algebras and Operator Theory;2015
5. Affine Near-Semirings Over Brandt Semigroups;Communications in Algebra;2014-06-09