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

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 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