Advertisement

Table of contents

  1. Front Matter
  2. Edmund M. Clarke Jr.
    Pages 1-1
  3. Volker Diekert, Anca Muscholl
    Pages 2-17
  4. Alan Gibbons, Martyn Amos, David Hodgson
    Pages 18-36
  5. Peter D. Mosses
    Pages 37-61
  6. Madhavan Mukund, P. S. Thiagarajan
    Pages 62-92
  7. Donald Sannella, Andrzej Tarlecki
    Pages 114-134
  8. Vladimir A. Uspensky
    Pages 156-166
  9. Philippe Balbiani
    Pages 167-179
  10. Gabriel A. Baum, Marcelo F. Frias, Armando M. Haeberer, Pablo E. Martínez López
    Pages 180-191
  11. Marek A. Bednarczyk
    Pages 192-205
  12. Richard Beigel, William Gasarch, Martin Kummer, Georgia Martin, Timothy McNicholl, Frank Stephan
    Pages 206-217
  13. Viviana Bono, Michele Bugliesi, Luigi Liquori
    Pages 218-229
  14. Michele Boreale, Luca Trevisan
    Pages 230-241
  15. Arie de Bruin, S. H. Nienhuys-Cheng
    Pages 242-254
  16. X. Cai, T. Kloks, C. K. Wong
    Pages 255-266
  17. Bogdan S. Chlebus, Artur Czumaj, Leszek Gasieniec, Mirosław Kowaluk, Wojciech Plandowski
    Pages 267-278
  18. Flavio Corradini, Marco Pistore
    Pages 279-290
  19. Anders Dessmark, Andrzej Lingas
    Pages 303-311
  20. Kai Engelhardt, Willem-Paul de Roever
    Pages 324-335
  21. Henning Fernau
    Pages 348-359
  22. Leszek Gasieniec, Evangelos Kranakis, Danny Krizanc, Andrzej Pelc
    Pages 372-381
  23. Ursula Goltz, Heike Wehrheim
    Pages 394-406
  24. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Pages 407-418
  25. Marta Kwiatkowska, Gethin Norman
    Pages 419-430
  26. Andrea Maggiolo-Schettini, Józef Winkowski
    Pages 431-442
  27. Sabrina Mantaci, Antonio Restivo
    Pages 443-456
  28. Enno Ohlebusch, Esko Ukkonen
    Pages 457-468
  29. Wiesław Pawłowski, Paweł Paczkowski, Stefan Sokołowski
    Pages 469-481
  30. Regimantas Pliuškevičius
    Pages 482-493
  31. Carsten Rössner, Jean-Pierre Seifert
    Pages 494-505
  32. Patrice Séébold
    Pages 506-516
  33. Jop F. Sibeyn
    Pages 529-541
  34. Axel Wabenhorst
    Pages 554-565
  35. Tomoyuki Yamakami
    Pages 566-578
  36. Elena Zucca
    Pages 579-590
  37. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.
The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.

Keywords

Algorithmen Komlexität Mathematische Logik Programmiertheorie algorithms calculus complexity formal languages lambda calculus logic mathematical logic object oriented design programming theory sets theoretical computer science

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61550-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61550-7
  • Online ISBN 978-3-540-70597-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site