Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Abadir, K., Magnus, J.: Matrix algebra. Econometric exercises, vol. 1. Cambridge University Press (2005)
2. Andova, S., McIver, A., D’Argenio, P.R., Cuijpers, P.J.L., Markovski, J., Morgan, C., Núñez, M. (eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS, vol. 13 (2009)
3. Lecture Notes in Computer Science;R. Backhouse,2006
4. Backhouse, R.: Mathematics of Program Construction, 608 pages. Univ. of Nottingham (2004), draft of book in preparation
5. Barbosa, L.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science 9(8), 891–909 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Relations among Matrices over a Semiring;Relational and Algebraic Methods in Computer Science;2015