Table of contents

  1. Front Matter
  2. Micah Adler, John W. Byers, Richard M. Karp
    Pages 1-20
  3. Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela
    Pages 37-49
  4. Viliam Geffert
    Pages 50-65
  5. Georg Gottlob, Nicola Leone, Helmut Veith
    Pages 66-81
  6. Dominique Perrin
    Pages 94-104
  7. Paul Vitányi
    Pages 106-128
  8. Eric Allender, Martin Strauss
    Pages 129-138
  9. Carsten Damm, Markus Holzer
    Pages 149-158
  10. Steven Homer, Sarah Mocas
    Pages 159-168
  11. Susanne Kaufmann, Martin Kummer
    Pages 169-178
  12. Danièle Beauquier, Dima Burago, Anatol Slissenko
    Pages 191-200
  13. Thomas Hofmeister, Hanno Lefmann
    Pages 201-210
  14. Jyrki Katajainen, Tomi Pasanen, George Titan
    Pages 211-220
  15. Hanno Lefmann, Petr Savický
    Pages 237-246
  16. Ivan Stojmenović
    Pages 267-276
  17. Sophie Fischer, Lane Hemaspaandra, Leen Torenvliet
    Pages 277-287
  18. Claudia Bertram-Kretzberg, Thomas Hofmeister
    Pages 288-298
  19. Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini
    Pages 309-318
  20. Luca Breveglieri, Alessandra Cherubini, Stefano Crespi Reghizzi
    Pages 326-336
  21. Filippo Mignosi, Antonio Restivo, Sergio Salemi
    Pages 337-348
  22. Günter Hotz, Gisela Pitsch
    Pages 349-358
  23. Miki Hermann, Phokion G. Kolaitis
    Pages 359-370
  24. M. R. K. Krishna Rao
    Pages 371-381
  25. Pawel Urzyczyn
    Pages 382-391
  26. Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
    Pages 392-401
  27. Jop F. Sibeyn, Michael Kaufmann
    Pages 412-422
  28. Olaf Burkart, Didier Caucal, Bernhard Steffen
    Pages 423-433
  29. Serge Bauget, Paul Gastin
    Pages 434-443
  30. Flavio Corradini, Roberto Gorrieri, Marco Roccetti
    Pages 444-453
  31. W. Ferreira, M. Hennessy
    Pages 454-466
  32. Sébastien Huguet, Antoine Petit
    Pages 467-478
  33. Davide Sangiorgi
    Pages 479-488
  34. Martín Abadi, Stephan Merz
    Pages 499-508
  35. Roel van der Goot, Arie de Bruin
    Pages 509-518

About these proceedings


This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995.
The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.


algorithm algorithms complexity complexity theory formal language model checking semantics

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-60246-0
  • Online ISBN 978-3-540-44768-9
  • 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