Preview
Unable to display preview. Download preview PDF.
References
G. GIERZ et al., "A Compendium of Continuous Lattices," Springer-Verlag, Berlin 1980.
M. G. MAIN, Free constructions of powerdomains, this volume.
L. NEBESKÝ, "Algebraic Properties of Trees", Acta Universitatis Carolinae-Philogica Monographia XXV, Universita Karlova, Praha 1969.
G. D. PLOTKIN, Computer science postgraduate course notes (unpublished), University of Edinburgh, Edinburgh 1980.
A. B. ROMANOWSKA and J. D. H. SMITH, Bisemilattices of subsemilattices, J. Alg. 70 (1981), 78–88.
A. B. ROMANOWSKA and J. D. H. SMITH, "Modal Theory", Heldermann-Verlag, Berlin 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smith, J.D.H. (1986). Modal theory, partial orders, and digital geometry. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_39
Download citation
DOI: https://doi.org/10.1007/3-540-16816-8_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16816-4
Online ISBN: 978-3-540-44861-7
eBook Packages: Springer Book Archive