عنوان

Domain Theory, Logic and Computation :

شابک

9048165237

شابک

9401712913

شابک

9789048165230

شابک

9789401712910

شماره

b596606

عنوان اصلي

Domain Theory, Logic and Computation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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

نام نخستين پديدآور

edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.

محل نشرو پخش و غیره

Dordrecht

نام ناشر، پخش کننده و غيره

Springer Netherlands : Imprint : Springer

تاریخ نشرو بخش و غیره

2003

عنوان فروست

Semantic structures in computation, 3.

متن يادداشت

1 Playful, streamlike computation --; 2 Universal types and what they are good for --; 3 Relational representations of hyper-continuous lattices --; 4 Convergence classes and spaces of partial functions --; 5 On meet-continuous dcpos --; 6 External characterizations of continuous sL-domains --; 7 Projectives and injectives in the category of quantales --; 8 On minimal event and concrete data structures --; 9 A note on strongly finite sequent structures.

متن يادداشت

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, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

عنوان اصلي به زبان ديگر

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

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Logic.

موضوع مستند نشده

Philosophy (General)

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.

مستند نام اشخاص تاييد نشده

G Q Zhang

مستند نام اشخاص تاييد نشده

J Lawson

مستند نام اشخاص تاييد نشده

M -K Luo

مستند نام اشخاص تاييد نشده

Y M Liu

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y