Advertisement

Modal theory, partial orders, and digital geometry

  • Jonathan D. H. Smith
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 239)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. GIERZ et al., "A Compendium of Continuous Lattices," Springer-Verlag, Berlin 1980.Google Scholar
  2. [2]
    M. G. MAIN, Free constructions of powerdomains, this volume.Google Scholar
  3. [3]
    L. NEBESKÝ, "Algebraic Properties of Trees", Acta Universitatis Carolinae-Philogica Monographia XXV, Universita Karlova, Praha 1969.Google Scholar
  4. [4]
    G. D. PLOTKIN, Computer science postgraduate course notes (unpublished), University of Edinburgh, Edinburgh 1980.Google Scholar
  5. [5]
    A. B. ROMANOWSKA and J. D. H. SMITH, Bisemilattices of subsemilattices, J. Alg. 70 (1981), 78–88.Google Scholar
  6. [6]
    A. B. ROMANOWSKA and J. D. H. SMITH, "Modal Theory", Heldermann-Verlag, Berlin 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jonathan D. H. Smith
    • 1
  1. 1.Department of MathematicsIowa State UniversityAmesU.S.A.

Personalised recommendations