Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Hopkins, M.W., Kozen, D.: Parikh’s Theorem in Commutative Kleene Algebra. In: LICS 1999, pp. 394–401 (1999)
2. Kozen, D.: The Design and Analysis of Algorithms. Springer, Heidelberg (1992)
3. Kozen, D.: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Information and Computation 110, 366–390 (1994)
4. Gunawardena, J. (ed.): Idempotency. Publications of the Newton Institute. Cambridge University Press, Cambridge (1998)
5. Lecture Notes in Computer Science;D. Kozen,1990
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献