Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. ADJ: J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in R.T. Yeh, ed., Current Trends in Programming Methodology, Vol. 4, Prentice-Hall (1978), 80–149
2. ADJ: J.W. Thatcher, E.G. Wagner, J.B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques, ACM Transactions on Programming Languages and Systems 4 (1982), 711–732
3. ADJ: H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameter Passing in Algebraic Specification Languages, Proc. Workshop in Program Specification, Springer LNCS 134 (1982), 322–369
4. G. Birkhoff: On the Structure of Abstract Algebras, Proc. Cambridge Phil. Soc. 31 (1935), 433–454
5. N. Dershowitz: Orderings for Term-Rewriting Systems, Theoretical Computer Science 17 (1982), 279–301
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献