BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Domain Theory, Logic and Computation: Proceedings of the 2nd International
Stock photo: cover may vary

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

by Guo-Qiang Zhang (Editor); J. Lawson (Editor); Ying Ming Liu (Editor)

Add to wish list

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

From the publisher

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.

First line

We first make some preparations.

Details

  • Title Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
  • Author Guo-Qiang Zhang (Editor); J. Lawson (Editor); Ying Ming Liu (Editor)
  • Binding Hardback
  • Edition 1st
  • Pages 197
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2004-01-31
  • Features Bibliography, Index
  • ISBN 9781402018329 / 1402018320
  • Weight 1.05 lbs (0.48 kg)
  • Dimensions 9.76 x 6.6 x 0.67 in (24.79 x 16.76 x 1.70 cm)
  • Category Philosophy
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalogue Number 2003070666
  • Dewey Decimal Code 005.13

More Copies for Sale

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain...
Stock photo: cover may vary

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

by Guo-Qiang Zhang, Lawson, J., Ying Ming Liu, Luo, M.K.

  • Used
  • Hardback
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
1
Seller
Item price
A$149.33
A$6.53 Delivery to USA

Show details

Description:
Springer, 2004. 209 pp., Hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.
Add to wish list
Item price
A$149.33
A$6.53 Delivery to USA
DOMAIN THEORY, LOGIC AND COMPUTATION (SEMANTICS STRUCTURES IN COMPUTATION)
Stock photo: cover may vary

DOMAIN THEORY, LOGIC AND COMPUTATION (SEMANTICS STRUCTURES IN COMPUTATION)

by GUO-QIANG ZHAN, J. LAWSO, YING MING LIU , M.K. LUO,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
5
Seller
Item price
A$168.22
A$29.00 Delivery to USA

Show details

Description:
kluwer, 2004. 1st. Paperback. New/New.
Add to wish list
Item price
A$168.22
A$29.00 Delivery to USA
Domain Theory, Logic And Computation (semantics Structures In Computation)
Stock photo: cover may vary

Domain Theory, Logic And Computation (semantics Structures In Computation)

  • New
Condition
New
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
1
Seller
Item price
A$188.63
A$21.75 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$188.63
A$21.75 Delivery to USA
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain...
Stock photo: cover may vary

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

by Guo-Qiang Zhang

  • New
  • Hardback
Condition
New
Edition
2004
Binding
Hardcover
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
6
Seller
Item price
A$232.24
A$21.75 Delivery to USA

Show details

Description:
Springer, 2004-01-31. 2004. hardcover. New. 6.60x0.67x9.76. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$232.24
A$21.75 Delivery to USA
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain...

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

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
373
Seller
Item price
A$326.97
A$15.53 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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
Add to wish list
Item price
A$326.97
A$15.53 Delivery to USA
Domain Theory, Logic and Computation (Semantics Structures in Computation)
Stock photo: cover may vary

Domain Theory, Logic and Computation (Semantics Structures in Computation)

  • Used
Condition
New
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
5
Seller
Item price
A$271.93
A$5.79 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$271.93
A$5.79 Delivery to USA
Domain Theory, Logic and Computation (Semantics Structures in Computation)
Stock photo: cover may vary

Domain Theory, Logic and Computation (Semantics Structures in Computation)

  • New
Condition
New
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
5
Seller
Item price
A$271.93
A$5.79 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$271.93
A$5.79 Delivery to USA
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain...
Stock photo: cover may vary

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

by Zhang, Guo-Qiang (Editor)/ Lawson, J./ Liu, Ying-Ming/ Luo, M. K./ Zhang, Guo-Qiang/ INTERNATIONAL SYMPOSIUM ON DOMAIN THEORY

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
2
Seller
Item price
A$381.80
A$29.16 Delivery to USA

Show details

Description:
Kluwer Academic Pub, 2004. Hardcover. New. 1st edition. 208 pages. 9.50x6.25x0.50 inches.
Add to wish list
Item price
A$381.80
A$29.16 Delivery to USA
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain...
Stock photo: cover may vary

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

by Guo-Qiang Zhang

  • Used
  • Hardback
Condition
Used
Edition
2004
Binding
Hardcover
ISBN 10 / ISBN 13
9781402018329 / 1402018320
Quantity available
1
Seller
Item price
A$309.88
A$21.75 Delivery to USA

Show details

Description:
Springer, 2004-01-31. 2004. hardcover. Used: Good. 6.60x0.67x9.76. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$309.88
A$21.75 Delivery to USA