Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999, Hardback Book

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 Hardback

Edited by Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

Part of the Semantics Structures in Computation series

Hardback

Item not Available

Description

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.

Information

Save 13%

£109.99

£95.55

Item not Available
Item not Available
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Semantics Structures in Computation series

Call-By-Push-Value

£105.50

£89.68

Add to Basket

Domains and Processes

£89.50

£76.08

Add to Basket

Domain Theory, Logic and Computation

£129.50

£110.08

Add to Basket