Algebras with approximation and recursive data structures

  • A. A. Letichevsky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


Structure Object Basic Algebra Approximative Relation Canonical System Object Domain 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Lehman D.J., Smith M.B. Data types (Extended abstract). — IEEE Symp. on Foundations of Computer Science, 1977, p. 7–12.Google Scholar
  2. 2.
    Kanda A. Data types as initial algebras: a unification of Scottery and ADJery. — IEEE Symp. on Foundations of Comp.Sci., 1978, p.221–230.Google Scholar
  3. 3.
    Gorokhovsky S.S., Kapitonova Ju.V., Letichevsky A.A. On means for programming and solving logical problems in software systems (Besic notions of language L2). — Cybernetics, No.4, 1973 (in Russian).Google Scholar
  4. 4.
    Bublik V.V., Gorokhovsky S.S. Algebraic treatment of data structures. — Cybernetics, No.2, 1978, p.10–15 (in Russian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • A. A. Letichevsky
    • 1
  1. 1.Institute of CybernaticsUkranian Academy of Sciences named after V.M.GlushkovKiev 207USSR

Personalised recommendations