Author:
Rewitzky Ingrid,Brink Chris
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. John Wiley and Sons, Inc, Chichester (1991)
2. Back, R.J.R., von Wright, J.: Combining angels, demons and miracles in program specifications. Theoretical Computer Science 100, 365–383 (1992)
3. Graduate Texts in Computer Science;R.J.R. Back,1998
4. Bargenda, H.W., Brink, C., Vajner, V.: Categorical aspects of power algebras. Quaestiones Mathematica 16, 133–147 (1993)
5. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, Englewood Cliffs (1997)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A semantics and a logic for Fuzzy Arden Syntax;Soft Computing;2021-02-13
2. Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad;Relational and Algebraic Methods in Computer Science;2018
3. Taming Multirelations;ACM Transactions on Computational Logic;2016-11-15
4. Concurrent Dynamic Algebra;ACM Transactions on Computational Logic;2015-11-19
5. Closure, Properties and Closure Properties of Multirelations;Relational and Algebraic Methods in Computer Science;2015