Table of contents

  1. Front Matter
  2. Jean-Pierre Jouannaud
    Pages 15-25
  3. Dexter Kozen
    Pages 26-47
  4. Jan Krajíček, Pavel Pudlák, Jiří Sgall
    Pages 48-60
  5. Friedhelm Meyer auf der Heide
    Pages 76-87
  6. Alan L. Selman
    Pages 88-104
  7. Jerzy Tiuryn
    Pages 105-120
  8. Jacobo Torán
    Pages 121-134
  9. Eric Allender, Ulrich Hertrampf
    Pages 158-164
  10. Fabrizio d'Amore, Paolo Giulio Franciosa
    Pages 165-172
  11. Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier
    Pages 173-179
  12. A. de Bruin, E. P. de VINK
    Pages 180-186
  13. Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes
    Pages 187-194
  14. Marek Chrobak, Lawrence L. Larmore
    Pages 202-208
  15. M. Clerbout, D. Gonzalez
    Pages 209-216
  16. Maxime Crochemore, Wojciech Rytter
    Pages 217-223
  17. Karel Culik II, Simant Dube
    Pages 224-231
  18. Philippe Darondeau, Pierpaolo Degano
    Pages 239-245
  19. E. Fachini, A. Maggiolo Schettini, D. Sangiorgi
    Pages 254-260
  20. William I. Gasarch, Lane A. Hemachandra, Albrecht Hoene
    Pages 261-268
  21. Ricard Gavaldà, Leen Torenvliet, Osamu Watanabe, José L. Balcázar
    Pages 269-276
  22. Antonio Gavilanes-Franco
    Pages 277-284
  23. Viliam Geffert
    Pages 285-291
  24. Andreas Goerdt
    Pages 300-305
  25. Wolfgang Golubski, Wolfram-M. Lippe
    Pages 313-321
  26. Michael R. Hansen, Zhou Chao-Chen
    Pages 322-328
  27. Juraj Hromkovič, Claus-Dieter Jeschke, Burkhard Monien
    Pages 337-346
  28. Jānis Kaņeps, Rūsiņš Freivalds
    Pages 355-361
  29. Marek Karpinski, Friedhelm Meyer auf der Heide
    Pages 362-368
  30. Miroslaw Kowaluk, Klaus W. Wagner
    Pages 378-384
  31. Klaus-Jörn Lange, Peter Rossmanith
    Pages 399-406
  32. M. Latteux, E. Timmerman
    Pages 407-415
  33. Christos Levcopoulos, Ola Petersson
    Pages 416-422
  34. Vincenzo Manca, Antonino Salibra
    Pages 423-429
  35. Edward Ochmański
    Pages 430-438
  36. Michel Parigot
    Pages 439-445

About these proceedings


This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. Previous MFCS proceedings have also been published in the Lecture Notes in Computer Science. This symposium is the 15th in a series of international meetings which have taken place in Czechoslovakia and Poland. The aim of these symposia is to bring together specialists in theoretical fields of computer science from various countries and to stimulate mathematical research in theoretical computer science. These proceedings consist of 10 invited papers and 52 communications selected by the international Program Committee. The papers present the latest results in key areas of computer science by authors from Europe, USA, Japan and China.


Algorithmen Algorithms Automata Theory Automatentheorie Computational Complexity Distributed Computing Graph Hashing Information Komplexität Resolution Verteiltes Rechnen complexity complexity theory sets

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52953-8
  • Online ISBN 978-3-540-47185-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment