Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. S.L. Bloom, and Z. Ésik, Iteration Theories: The Equational Logic of Iterative Processes. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.
2. S.L. Bloom, and Z. Ésik, Some quasi-varieties of iteration theories. In: Mathematical Foundations of Programming Semantics '93, LNCS 802, Springer-Verlag, 1994.
3. S.L. Bloom, Z. Ésik, Solving polynomial fixed point equations. In: Mathematical Foundations of Computer Science '94. LNCS 841, Springer-Verlag, 1994.
4. Regular Algebra and Finite Machines;Conway,1971
5. S. Eilenberg, The category C. Unpublished handwritten manuscript.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献