Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (2001) (Semantics Structures in Computation #1)
By: and and and
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.
- Copyright:
- 2001
Book Details
- 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
Reviews
Other Books
- by Klaus Keimel
- by Guo-Qiang Guo-Qiang Zhang
- by Ying Ming Ying Ming Liu
- by Yixiang Yixiang Chen
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy