Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (2001) (Semantics Structures in Computation #1)

By: Klaus Keimel and Guo-Qiang Guo-Qiang Zhang and Ying Ming Ying Ming Liu and Yixiang Yixiang Chen

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis: Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Book Quality:: Publisher Quality
ISBN-13:: 9789401006545
Related ISBNs:: 9780792371434
Publisher:: Springer Netherlands
Date of Addition:: 08/10/22
Copyrighted By:: N/A
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: Klaus Keimel
Edited by:: Guo-Qiang Zhang
Edited by:: Ying Ming Liu
Edited by:: Yixiang Chen