Advertisement

What is computable for abstract data types ?

  • H. Kaphengst
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K'69.
    H. Kaphengst; Malzew-Räume, ein allgemeiner Begriff der rekursiven Abbildung, Z. f. math. Logik 15(1969), 63–76.Google Scholar
  2. KR'71.
    H. Kaphengst, H. Reichel; Algebraische Algorithmentheorie. WIB Nr. 1, VEB Kombinat Robotron, Dresden 1971.Google Scholar
  3. HKR'80.
    U. L. Hupbach, H. Kaphengst, H. Reichel; Initial Algebraic Specification of Data Types, Parametrized Data Types and Algorithms. WIB Nr. 15, VEB Robotron ZFT, Dresden 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • H. Kaphengst
    • 1
  1. 1.VEB Robotron ZFTDresden PSF 330

Personalised recommendations