Author:
Macedo Hugo Daniel,Oliveira José Nuno
Reference48 articles.
1. R. Backhouse, Mathematics of Program Construction, University of Nottingham, 2004, 608 pages (draft of book in preparation).
2. Really rethinking formal methods;Parnas;IEEE Computer,2010
3. Relational Mathematics;Schmidt,2010
4. The origin of relation algebras in the development and axiomatization of the calculus of relations;Maddux;Studia Logica,1991
5. Matrices, machines and behaviors;Bloom;Applied Categorical Structures,1996
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献