Author:
Kempe David,Schönegge Arno
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Asveld, P.R.J., Tucker, J.V.: Complexity theory and the operational structure of algebraic programming systems. Acta Inform. 17, 451–476 (1982)
2. Lecture Notes in Computer Science;J.A. Bergstra,1981
3. Lecture Notes in Computer Science;M. Broy,1979
4. Berghammer, R.: On the characterization of the integers: the hidden function problem revisited. Acta Cybernetica 11(1-2), 85–96 (1993)
5. Bergstra, J.A., Tucker, J.V.: The completeness of the algebraic speci cation methods for computable data types. Information and Control 54, 186–200 (1982)