Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3) - Image 1

£107.98

Springer Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Name: Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
Brand: Springer
Price: 107.27 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £107 (72 days, 80.0%)

Price range: £107 - £108

Price levels: 2 different prices over 90 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048165237
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Publication Date: 25 December 2010
Listed Since: 01 October 2010

Barcode

No barcode data available

Springer Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 10TH ITALIAN CONFERENCE ON ICTCS '07

Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences

Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989: 21 (Mathematical Sciences Research Institute Publications, 21)

Set Theory of the Continuum: 26 (Mathematical Sciences Research Institute Publications, 26)

Theory and Applications of Ontology: Computer Applications

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Dao Companion to Chinese Philosophy of Logic: 12

STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings: 900 (Lecture Notes in Computer Science, 900)

Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in honour of Gheorghe Păun

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

Kolmogorov Complexity and Computational Complexity (Monographs in Theoretical Computer Science. An EATCS Series)

Open Problems in Mathematics and Computational Science

A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences: With Complete Bibliography

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

Approaches to Legal Ontologies: Theories, Domains, Methodologies: 1 (Law, Governance and Technology Series, 1)

Concurrency in Dependable Computing

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the 11th International Congress of Logic, Methodology and Philosophy of ... August 1999: 315 (Synthese Library, 315)

Evolution of Semantic Systems

Formal Aspects of Context: 20 (Applied Logic Series, 20)

Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy ... Kraków, 1999: 320 (Synthese Library, 320)