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

Price loading...

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

Architecture & Microprocessors

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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: Hardcover
ASIN: 1402018320
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 31 January 2004
Listed Since: 13 December 2006

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

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01) (Discrete Mathematics and Theoretical Computer Science)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Logic for Applications (Texts in Computer Science)

Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Constructive Models (Siberian School of Algebra and Logic)

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Logic of Computation: SER F / v.157 (NATO ASI)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

CRC Press Semantics of Programming Languages and Model Theory 5

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Computability

Theory of Computation

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)