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

Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 / edited by Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Guo-Qiang Zhang (Editor), Lawson, J. (Editor), Ying Ming Liu (Editor), Luo, M.K (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2003.
Edition:1st ed. 2003.
Series:Semantics Structures in Computation ; 3
Springer eBook Collection.
Subjects:
Logic.
Algebra.
Ordered algebraic structures.
Geometry.
Mathematical logic.
Programming languages (Electronic computers).
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Copy 1 Available

Similar Items