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

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 betw...

Full description

Bibliographic Details

Main Author:	Keimel, Klaus
Corporate Author:	SpringerLink (Online service)
Other Authors:	Zhang, Guo-Qiang, Liu, Ying-ming, Chen, Yi-Xang
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2001.
Series:	Semantic structures in computation ; 1.
Subjects:	Philosophy (General) Logic. Computer science. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book