Domain Theory, Logic and Computation
Broschiertes Buch

Domain Theory, Logic and Computation

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

Herausgegeben von Guo-Qiang Zhang; Lawson, J.; Ying Ming Liu; Luo, M. K.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
115,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
58 °P sammeln!
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 at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, ...