Combinatorics, Computation, and Logic: Proceedings of DMTCS'99 and CATS'99 (Paperback)
  • Combinatorics, Computation, and Logic: Proceedings of DMTCS'99 and CATS'99 (Paperback)

Combinatorics, Computation, and Logic: Proceedings of DMTCS'99 and CATS'99 (Paperback)

,
£65.99
Paperback Published: 01/04/1999
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

This volume contains the proceedings of the 2nd International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS9) and the 5th Australasian Theory Symposium (CATS9). Both were held as part of the Australasian Computer Science Week (ACSW9) in Auckland, New Zealand, January 1999. The topics presented included those on: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability and complexity; computational algebras, biology, geometry, logic, and number theory; concurrency, distributed systems, and parallel computing; constructive mathematics; discrete mathematics and combinatorial computing; formal semantics, specification, synthesis, and verification. These proceedings, comprised of 5 invited papers and 19 contributed refereed papers, thus provide the latest research in these fields.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9789814021562

You may also be interested in...

Your review has been submitted successfully.

We would love to hear what you think of Waterstones. Why not review Waterstones on Trustpilot?


Review us on Trustpilot