Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 /

Saved in:
Bibliographic Details
Corporate Author: International Symposium on Domain Theory Sichuan Sheng, China
Other Authors: Zhang, Guo-Qiang, 1960-
Format: Conference Proceeding Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic, [2003], ©2003.
Series:Semantic structures in computation ; v. 3.
Subjects: