Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
-
Front Matter
-
Back Matter
Keywords
About this book
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures.
Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.
Editors and Affiliations
Bibliographic Information
Book Title: Domain Theory, Logic and Computation
Book Subtitle: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Editors: G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo
Series Title: Semantics Structures in Computation
DOI: https://doi.org/10.1007/978-94-017-1291-0
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2003
Hardcover ISBN: 978-1-4020-1832-9Published: 31 January 2004
Softcover ISBN: 978-90-481-6523-0Published: 25 December 2010
eBook ISBN: 978-94-017-1291-0Published: 29 June 2013
Edition Number: 1
Number of Pages: XII, 197
Topics: Logic, Order, Lattices, Ordered Algebraic Structures, Geometry, Mathematical Logic and Foundations, Programming Languages, Compilers, Interpreters