Advertisement

Table of contents

  1. Front Matter
  2. Friedhelm Meyer auf der Heide
    Pages 1-16
  3. Peter D. Mosses
    Pages 17-35
  4. Francisca Lucio-Carrasco, Antonio Gavilanes-Franco
    Pages 47-58
  5. Rolf Hennicker
    Pages 59-71
  6. Panagiotis Alevizos, Jean-Daniel Boissonnat, Franco P. Preparata
    Pages 72-83
  7. Franco P. Preparata, Roberto Tamassia
    Pages 84-95
  8. Hristo N. Djidjev, Andrzej Lingas, Jörg-Rüdiger Sack
    Pages 96-107
  9. Wolfgang Gutjahr, Emo Welzl, Gerhart Woeginger
    Pages 108-119
  10. Friedhelm Meyer auf der Heide, Rolf Wanka
    Pages 120-131
  11. Jeffrey Shallit
    Pages 156-167
  12. Otfried Schwarzkopf
    Pages 193-204
  13. Donald Fussell, Ramakrishna Thurimella
    Pages 205-217
  14. Gerhard Buntrock, Albrecht Hoene
    Pages 218-228
  15. Jin-yi Cai, Lane A. Hemachandra
    Pages 229-239
  16. K. Ganesan, Steven Homer
    Pages 240-250
  17. Piotr Berman, Georg Schnitger
    Pages 256-268
  18. Mark Overmars, Nicola Santoro
    Pages 282-293
  19. Paul W. Beame, Hans L. Bodlaender
    Pages 294-303
  20. Nicola Santoro, Peter Widmayer
    Pages 304-313
  21. Miki Hermann
    Pages 339-347
  22. Friederike Nickl
    Pages 360-374
  23. Aida Batarekh, V. S. Subrahmanian
    Pages 375-387
  24. M. Beaudry, P. McKenzie, D. Thérien
    Pages 388-399
  25. Rakesh M. Verma, I. V. Ramakrishnan
    Pages 407-420
  26. Bernadette Charron-Bost
    Pages 434-445
  27. Petr Jančar
    Pages 446-457
  28. J. E. Pin, H. Straubing, D. Thérien
    Pages 458-467
  29. Marc J. van Kreveld, Mark H. Overmars
    Pages 493-504
  30. Andreas Schwill
    Pages 505-516
  31. Bala Kalyanasundaram, Georg Schnitger
    Pages 517-529
  32. Michael Himsolt
    Pages 532-533
  33. V. Kell, A. Maier, A. Potthoff, W. Thomas, U. Wermuth
    Pages 537-538

About these proceedings

Introduction

This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency.

Keywords

Approximation Bit Graph Monoid Variable automata theory bisimulation code concurrency formal language petri net programming language theoretical computer science

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0028968
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50840-3
  • Online ISBN 978-3-540-46098-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications