Author:
Bloom Stephen L.,Sabadini N.,Walters R. F. C.
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference8 articles.
1. Bloom, S. L. and Ésik, Z.: Equational axioms for regular sets, Mathematical Structures in Computer Science 3 (1993), 1?24.
2. Bloom, S. L. and Ésik, Z.: Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.
3. Bloom, S. L. and Ésik, Z.: Matrix and matricial iteration theories, Part I, Journal of Computer and System Sciences 46 (1993), 381?408.
4. Elgot, C. C.: Monadic computation and iterative algebraic theories, in J. C., Shepherdson (ed.), Logic Colloquium 1973, Studies in Logic, Vol. 80, North-Holland, Amsterdam, 1975.
5. Khalil, W. and Walters, R. F. C.: An imperative language based on distributive categories II, in Informatique Théorique et Applications, 1993.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Dynamical Systems in Machine Learning;Applied Categorical Structures;2024-01-18
2. Typing linear algebra: A biproduct-oriented approach;Science of Computer Programming;2013-11
3. WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES;International Journal of Foundations of Computer Science;2013-09
4. Towards a linear algebra of programming;Formal Aspects of Computing;2012-07
5. Towards Linear Algebras of Components;Formal Aspects of Component Software;2012