Table of contents

  1. Front Matter
  2. David W. Juedes, Jack H. Lutz
    Pages 26-37
  3. Jin-Yi Cai, Richard J. Lipton, Luc Longpré, Mitsunori Ogihara, Kenneth W. Regan, D. Sivakumar
    Pages 38-49
  4. Yenjo Han, Lane A. Hemaspaandra
    Pages 50-59
  5. Angelo Monti, Adriano Peron
    Pages 131-142
  6. Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
    Pages 143-156
  7. Torsten Minkwitz
    Pages 157-167
  8. Paul F. Fischer, Franco P. Preparata, John E. Savage
    Pages 168-180
  9. Maxime Crochemore, Leszek Gasieniec, Wojciech Rytter, Wojciech Plandowski
    Pages 181-192
  10. Hristo N. Djidjev, Grammati E. Pantziou, Christos D. Zaroliagis
    Pages 193-204
  11. Marco Cadoli, Francesco M. Donini, Marco Schaerf
    Pages 205-216
  12. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
    Pages 217-228
  13. Oded Maler, Amir Pnueli, Joseph Sifakis
    Pages 229-242
  14. Michele Boreale, Davide Sangiorgi
    Pages 243-254
  15. J. Hromkovič, K. Loryś, P. Kanarek, R. Klasing, W. Unger, H. Wagener
    Pages 255-266
  16. Friedhelm Meyer, Christian Scheideier, Volker Stemann
    Pages 267-278
  17. Michele Flammini, Giorgio Gambosi, Sandro Salomone
    Pages 279-290
  18. Friedhelm Meyer, Berthold Vöcking
    Pages 291-302
  19. Christiane Bercoff
    Pages 303-312
  20. Gerhard Buntrock, Friedrich Otto
    Pages 313-324
  21. Dora Giammarresi, Rosa Montalbano
    Pages 325-336
  22. Pavol Ďuriš, José D. P. Rolim
    Pages 350-360
  23. László Babai, Peter G. Kimmel, Satyanarayana V. Lokam
    Pages 361-372
  24. Véronique Bruyère, Clelia De Eelice
    Pages 373-384
  25. Volker Diekert, Anca Muscholl, Klaus Reinhardt
    Pages 385-396
  26. Arvind Gupta, Naomi Nishimura
    Pages 397-408
  27. Damon Kaller, Arvind Gupta, Tom Shermer
    Pages 409-420
  28. Sotiris E. Nikoletseas, Paul G. Spirakis
    Pages 421-432
  29. Danièle Gardy, Guy Louchard
    Pages 433-444
  30. Danny Raz
    Pages 445-454
  31. Felipe Bracho, Manfred Droste, Dietrich Kuske
    Pages 467-478
  32. Anne -Cécile Fabret, Antoine Petit
    Pages 479-490
  33. Manfred Kunde, Rolf Niedermeier, Klaus Reinhardt, Peter Rossmanith
    Pages 503-514
  34. Martin Strauss
    Pages 515-526
  35. Thomas Hancock, Tao Jiang, Ming Li, John Tromp
    Pages 527-538
  36. Peter Damaschke
    Pages 539-549
  37. Martin Kummer, Marcus Schäfer
    Pages 550-561
  38. Th. Ottmann, S. Schuierer, S. Soundaralakshmi
    Pages 562-570

About these proceedings


This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995.
Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.


Algorithms Automat algorithm automata automata theory complexity complexity theory computational geometry computer computer science database logic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59042-2
  • Online ISBN 978-3-540-49175-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods