nLab Dexter Kozen

Selected writings

Selected writings

Dexter Kozen (1990). On Kleene algebras and closed semirings. In: Branislav Rovan (editor). Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. (doi:10.1007/BFb0029594, pdf)

category: people

Last revised on April 11, 2025 at 13:34:30. See the history of this page for a list of all contributions to it.