Publisher
Springer Berlin Heidelberg
Reference289 articles.
1. H. Andreka, I. Nemeti Some universal algebraic and model theoretic results in computer science FCT 1981 Szeged, Springer Lect.Notes Computer Science 117, 16–23
2. A. Arnold, M. Karpinsky An easy improvement of Bergstra-Meyer’s 81 equations bound for data specification EATCS Bulletin 12, 1980, 7–9
3. G. Ausiello, G.F. Mascari On the design of algebraic structures with the approach of abstract data types Proc.Symp. Symbolic & Algebr. Comput. (1979), Springer Lect.Notes Computer Science 72, 514–530
4. U. Bartels, W. Olthoff, P. Raulefs APE: An expert system for automatic programming from abstract specifications of data types and algorithms MEMO SEKI-BN-81–01, 1981
5. F.L. Bauer, M. Broy, W. Dosch, R. Gnatz, B. Krieg-Brückner, A. Laut, M. Luckmann, T. Matzner, B. Möller, H. Partsch, P. Pepper, K. Samelson, R. Steinbrüggen, M. Wirsing, H. Wössner Programming in a wide-spectrum language: a collection of examples Science of Computer Programming 1 (1981), 73–114