Stacs 99: 16th Annual Symposium On Theoretical Aspects Of Computer Science Trier, Germany, March 4–6, 1999 Proceedings

E-Book Overview

This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in March 1999. The 51 revised full papers presented were selected from a total of 146 submissions. Also included are three invited papers. The volume is divided in topical sections on complexity, parallel algorithms, computational geometry, algorithms and data structures, automata and formal languages, verification, algorithmic learning, and logic in computer science.

E-Book Content

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1563 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Christoph Meinel Sophie Tison (Eds.) STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4-6, 1999 Proceedings 13 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Christoph Meinel FB IV – Informatik, Universit¨ at Trier D-54286 Trier, Germany E-mail: [email protected] Sophie Tison LIFL, Universit´e de Lille I, Bˆatiment 3 F-59655 Villeneuve d’Ascq Cedex, France E-mail: [email protected] Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Stacs : Proceedings / STACS 99 / 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999. Christoph Meinel ; Sophie Tison (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ;
You might also like

Distributed Computing: Principles, Algorithms, And Systems
Authors: Ajay D. Kshemkalyani , Mukesh Singhal    105    0


Invitation To Fixed-parameter Algorithms
Authors: Rolf Niedermeier    117    0


Introduction To Parallel Computing: [a Practical Guide With Examples In C]
Authors: W. P. Petersen , P. Arbenz    124    0


Bioinformatics, Biocomputing And Perl: An Introduction
Authors: Michael Moorhouse , Paul Barry    134    0


Computer Graphics And Geometric Modeling. Mathematics
Authors: Max K. Agoston    176    0


Introduction To Information Theory And Data Compression
Authors: D.C. Hankerson , Greg A. Harris , Peter D. Johnson Jr.    158    0


Beginning Python
Authors: Peter C. Norton , Alex Samuel , Dave Aitel , Eric Foster-Johnson , Leonard Richardson , Jason Diamond , Aleatha Parker , Michael Roberts    197    0


The Science Of Color
Authors: Steven K. Shevell    198    0


The Latex Companion: Front Matter, Toc, Preface Only
Authors: Frank Mittelbach , Michel Goossens , Johannes Braams , David Carlisle , Chris Rowley    144    0


Latex по-русски
Authors: Котельников И.А. , Чеботаев П.З.    273    0