Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 papers)
-
Front Matter
About this book
This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.
Editors and Affiliations
-
Darmstadt University of Technology, Germany
Klaus Keimel
-
Case Western Reserve University, USA
Guo-Qiang Zhang
-
Sichuan University, China
Ying-Ming Liu
-
Shanghai Normal University, China
Yi-Xang Chen
Bibliographic Information
Book Title: Domains and Processes
Book Subtitle: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Editors: Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen
Series Title: Semantics Structures in Computation
DOI: https://doi.org/10.1007/978-94-010-0654-5
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Kluwer Academic Publishers 2001
Hardcover ISBN: 978-0-7923-7143-4Published: 31 October 2001
Softcover ISBN: 978-94-010-3859-1Published: 17 September 2012
eBook ISBN: 978-94-010-0654-5Published: 06 December 2012
Edition Number: 1
Number of Pages: XIV, 273
Topics: Logic, Programming Languages, Compilers, Interpreters, Mathematical Logic and Foundations