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

Preparing link to download Please wait... Download

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 ;