| Title:
|
COMBINATORICS, COMPUTABILITY AND LOGIC
|
| Volume: |
Proceedings to the Third CDMTCS International Conference on Combinatorics, |
| By: |
Cristina S. Calude (Editor), M. J. Dinneen (Editor), S. Sblurlan (Editor) |
| Format: |
Paperback |
| List price:
|
£114.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
1852335262 |
| ISBN 13: |
9781852335267 |
| Publisher: |
SPRINGER LONDON LTD |
| Pub. date: |
22 June, 2001 |
| Edition: |
Softcover reprint of the original 1st ed. 2001 |
| Series: |
Discrete Mathematics and Theoretical Computer Science |
| Pages: |
251 |
| Description: |
This volume contains the papers presented at the Third Combinatorics, Computability and Logic (DMTCS'01) conference, These papers cover topics such as abstract data types and specifications algorithms and data structures automata and formal languages computability among others. |
| Synopsis: |
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. |
| Illustrations: |
biography |
| Publication: |
UK |
| Imprint: |
Springer London Ltd |
| Returns: |
Returnable |
|
|