Author:
Goguen Joseph A.,Meseguer José
Reference27 articles.
1. Michael A. Arbib and Ernest Manes. Arrows, Structures and Functors. Academic Press, 1975.
2. John Backus. “Can Programming be Liberated from the von Neumann Style?”. Communications of the Association for Computing Machinery 21, 8 (1978), 613–641.
3. Jon Barwise. “Axioms for Abstract Model Theory”. Annals of Mathematical Logic 7 (1974), 221–265.
4. Robert Boyer and Moore, J. A Computational Logic. Academic Press, 1980.
5. Rod Burstall and Joseph Goguen. “Putting Theories together to Make Specifications”. Proceedings, Fifth International Joint Conference on Artificial Intelligence 5 (1977), 1045–1058.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献