Mathematical Foundations of Computer Science 2000 25th Internati
- PDF / 8,201,210 Bytes
- 724 Pages / 430.84 x 666.169 pts Page_size
- 58 Downloads / 182 Views
1893
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo
Mogens Nielsen Branislav Rovan (Eds.)
Mathematical Foundations of Computer Science 2000 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Mogens Nielsen University of Aarhus, Department of Computer Science Ny Munkegade, Bldg. 540, 8000 Aarhus C, Denmark E-mail: [email protected] Branislav Rovan Comenius University, Department of Computer Sciene 84248 Bratislava, Slovakia E-mail: [email protected] Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Mathematical foundations of computer science 2000 : 25th international symposium ; proceedings / MFCS 2000, Bratislava, Slovakia, August 28 September 1, 2000. Mogens Nielsen ; Branislav Rovan (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2000 (Lecture notes in computer science ; Vol. 1893) ISBN 3-540-67901-4
CR Subject Classification (1998): F, G.2, D.3, C.2, I.3 ISSN 0302-9743 ISBN 3-540-67901-4 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a company in the BertelsmannSpringer publishing group. © Springer-Verlag Berlin Heidelberg 2000 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN: 10722549 06/3142 543210
Foreword
This volume contains papers selected for presentation at the Silver Jubilee 25th Symposium on Mathematical Foundations of Computer Science — MFCS 2000, held in Bratislava, Slovakia, August 28 – September 1, 2000. MFCS 2000 was organized under the auspices of the Minister of Education of the Slovak Republic, Milan Ft´ aˇcnik, by the Slovak Society for Computer Science, and the Comenius University in Bratislava, in cooperation with other institutions in Slovakia. It was supported by the European Association for Theoretical Computer Science, the European Research Consortium for Informatics and Mathematics, and the Slovak Research Consortium for Informatics and Mathematics. The series of MFCS symposia, organized alternately in the Czech Republic, Poland, and Slovakia since 1972, has a well-established tradition. The MFCS symposia encourage high-quali
Data Loading...
