A characterization of abstract data as model-theoretic invariants

  • A. Bertoni
  • G. Mauri
  • P. A. Miglioli
Conference paper

DOI: 10.1007/3-540-09510-1_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 71)
Cite this paper as:
Bertoni A., Mauri G., Miglioli P.A. (1979) A characterization of abstract data as model-theoretic invariants. In: Maurer H.A. (eds) Automata, Languages and Programming. ICALP 1979. Lecture Notes in Computer Science, vol 71. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1979

Authors and Affiliations

  • A. Bertoni
    • 1
  • G. Mauri
    • 1
  • P. A. Miglioli
    • 1
  1. 1.Istituto di CiberneticaUniversità di MilanoItaly

Personalised recommendations