Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. G. AUSIELLO, G.F. MASCARI, "On the Design of Algebraic Data Structures with the Approach of Abstract Data Types", LNCS No72, 1979.
2. M. BERGMAN, P. DERANSART, "Abstract Data Types and rewriting systems: Application to the programming of Algebraic Abstract Data Types in PROLOG", CAAP'81, Trees in Algebra and Programming, 6th Colloquium, Gènes, Mars 1981, LNCS No112, 1981.
3. R.M. BURSTALL, J.A. GOGUEN, "Putting Theories together to make Specifications", Proc. of 5th. International Joint Conference, MASS. 1977, pp. 1045–1052.
4. R.M. BURSTALL, J.A. GOGUEN, "The Semantics of CLEAR, a Specification Language", Proc. of 1979 Copenhagen Winter School on Abstract Software Specifications, 1980.
5. A. COLMERAUER, H. KANOUI, M. VAN CANEGHEM, "PROLOG II", Rapport de Recherche, Groupe Intelligence Artificielle, Univ. d'Aix-Marseille, 1981.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Theoretical Issues of Logic Programming;Logic Programming;1985
2. On the integration of numeric and algebraic computations;Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra