Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

by Guo-Qiang Zhang

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented...

• Format: Paperback
• Language: English
• ISBN: 9048165237
• ISBN13: 9789048165230
• Release Date: December 2010
• Publisher: Springer
• Length: 197 Pages