Combinatorics, Computability and Logic

C. S. Calude

ISBN 10: 1852335262 / ISBN 13: 9781852335267

Published by Springer London Jun 2001, 2001

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -The third Discrete Mathematics and Theoretical Computer Science conference (DMTCS'OI) of the Centre for Discrete Mathematics and Theoretical Computer Science of the University of Auckland has been organised at the Faculty of Math ematics and Computer Science, 'Ovidius' University, Constan~a, Romania, with the co-operation of the Maritime Academy 'Mircea eel Batran', Constan~a. It was held held in the beautiful Romanian city of Constan~a on the Black Sea. The conference was dedicated to Professor Frank Harary on the occasion of his 80th Birthday. The four invited speakers of the conference were: F. Harary (New Mexico State University, USA), H. Ishihara (Jaist, Japan), P. Odifreddi (Thrin Univer sity, Italy), 1. Tomescu (Bucharest University, Romania). The Programme Committee consisting of C.S. Calude (Chair, Auckland), C. Ding (Hong Kong), M.J. Dinneen (Secretary, Auckland), M.R. Fellows (Victo ria, Canada), M. Hallett (Zurich), M. Ito (Kyoto), S. Istrail (Rockville, USA), K-W. Lih (Taipei), S. Marcus (Bucharest), Y. Matiyasevich (St. Petersburg), Gh. Paun (Bucharest), S. Rudeanu (Bucharest), J. Rutten (Amsterdam), K. 264 pp. Englisch.

Seller Inventory # 9781852335267

Bibliographic Details

• Title: Combinatorics, Computability and Logic
• Publisher: Springer London Jun 2001
• Publication Date: 2001
• Language: English
• ISBN 10: 1852335262
• ISBN 13: 9781852335267
• Binding: Taschenbuch
• Condition: Neu

About this title

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.