D , we must check that 9 9 9 = 9 and 9 = W, according to theorem 1.
7. 9. 10. 11. 12. 13. 14. Roland C. Backhouse, Paul Chisholm. Grant Malcolm and Erik Saaman, Doit-your-self type theory, Formal aspects of Computing, No 1, pp. 19-84, 1989. J. ), Machine Intelligence: An Artificial Intelligence Approach, Morgan Kaufmann, 1986. , Programming by Analogy, in: R. S. Michalski, J. G. Carbonell and T. M. Mitchell (Eds), Machine Learning II: An Artificial Intelligence Approach, Morgan Kaufmann, Los Altos, CA, 1986, pp. 395423. Dietzen, S. R. and W. L. C. W. Hamill, and R.
A. Goguen, and A. Sernadas. A Categorial Theory of [EGS90] Objects as Observed Processes. W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages (Proc. REX/FOOL Workshop, Noordwijkerhood (NL)), pages 203-228. Springer, LNCS 489, 1990. [EM85] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Berlin, 1985. [EM90] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification P: Modules and Constraints. Springer, Berlin, 1990.
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings by Bruno Buchberger (auth.), Alfonso Miola (eds.)
by Jeff
4.1