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

Calude, C.S. (Editor) / Dinneen, M.J. (Editor) / Sburlan, S. (Editor)

ISBN 10: 1852335262 / ISBN 13: 9781852335267

Edité par Springer, 2001

A propos de cet article

264 pages. 9.00x6.00x0.75 inches. In Stock.

N° de réf. du vendeur x-1852335262

Détails bibliographiques

• Titre: Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (Dmtcs '01) (Discrete Mathematics and Theoretical Computer Science)
• Éditeur: Springer
• Date de parution: 2001
• Langue: anglais
• ISBN à 10 chiffres: 1852335262
• ISBN à 13 chiffres: 9781852335267
• Reliure: Paperback
• État de l'article: Brand New

A propos de ce titre

Synopsis

This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001.
The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.