Advertisement

An algorithmic approach to set theory

  • Andrzej Salwicki
Section C Computability, Decidability & Arithmetic Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)

Keywords

Natural Number Binary Tree Priority Queue Parameter Transmission Algorithmic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    AHO, A.V., HOPCROFT, J.E., ULLMAN, J.D., The design and analysis of computer algorithms, Addison Wesley, Reading, Mass., (1968)Google Scholar
  2. 2.
    BANACHOWSKI, L., An axiomatic approach to the theory of data structures, Bull. Acad. Pol. Sci. Ser. Math., 23 (1975) 315–323Google Scholar
  3. 3.
    DANKO, W., Not programmable function defined by a procedure, Bull. Acad. Pol. Sci. Ser. Math., 22 1974, 587–594Google Scholar
  4. 4.
    HEYTING, A., Intuitionism, North Holland, Amsterdam, 1956Google Scholar
  5. 5.
    LOGLAN 77, internal report University of Warsaw, (1977)Google Scholar
  6. 6.
    MIRKOWSKA, G., Algorithmic logic ..., to appear in Fundamenta Informaticae, see also On formalized systems of algorithmic logic, Bull. Acad. Pol. Sci. Ser. Math., 19 (1971), 421–428Google Scholar
  7. 7.
    MIRKOWSKA, G., SALWICKI, A., A complete axiomatic characterization of algorithmic properties ... in Proc. MFCS-76 Gdańsk, Lecture Notes in Computer Science, Springer Verlag, Berlin, (1976), 602–608Google Scholar
  8. 8.
    SALWICKI, A., Procedures, formal computations and models, Proc. MFCS-74, Jadwisin, Lecture Notes in Computer Science, Springer Verlag, Berlin (1974), 464–484Google Scholar
  9. 9.
    SALWICKI,A., Applied algorithmic logic, Proc. MFCS-77. Tatranska Lomnica.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Andrzej Salwicki
    • 1
  1. 1.Department of mathematicsUniversity of Warsaw PKiN p.850WarszawaPoland

Personalised recommendations