Advertisement

Table of contents

  1. Front Matter
  2. Giorgio Ausiello, Giuseppe F. Italiano, Umberto Nanni
    Pages 1-16
  3. Silvio Micali
    Pages 94-116
  4. Mogens Nielsen
    Pages 117-128
  5. Pavel Pudlák
    Pages 129-141
  6. Colin Stirling
    Pages 142-151
  7. Mikel Aldaz, Joos Heintz, Guillermo Matera, José L. Montaña, Luis M. Pardo
    Pages 167-175
  8. Michael Alekhnovich, Sam Buss, Shlomo Moran, Toniann Pitassi
    Pages 176-184
  9. Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Helmut Veith
    Pages 203-212
  10. Richard Bonner, Rūsiņš Freivalds, Jānis Lapiņš, Antra Lukjanska
    Pages 213-219
  11. Flemming Nielson, Hanne Riis Nielson
    Pages 220-228
  12. Alexander Rabinovich
    Pages 229-238
  13. Maria C. F. Ferreira, Delia Kesner, Laurence Puel
    Pages 239-247
  14. Zoltán Fülöp, Eija Jurvanen, Magnus Steinby, Sándor Vágvölgyi
    Pages 248-256
  15. Hélène Touzet
    Pages 267-276
  16. Christian Hagenah, Anca Muscholl
    Pages 277-285
  17. Michel Latteux, David Simplot, Alain Terlutte
    Pages 286-295
  18. Gilles Barthe
    Pages 316-325
  19. Marcin Benke
    Pages 326-335
  20. Jacek Chrząszcz
    Pages 346-355
  21. Paul Gastin, Raphaël Meyer, Antoine Petit
    Pages 356-365
  22. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Pages 366-377
  23. Thomas Hune, Mogens Nielsen
    Pages 378-387
  24. Andris Ambainis, David Mix Barrington, Huong LêThanh
    Pages 409-417
  25. E. Allen Emerson, Richard J. Trefler
    Pages 427-436
  26. Martin Grohe, Thomas Schwentick
    Pages 437-445
  27. Alessandra Di Pierro, Herbert Wiklicky
    Pages 446-455
  28. Klaus Ambos-Spies, Steffen Lempp, Gunther Mainhardt
    Pages 465-473
  29. Judy Goldsmith, Mitsunori Ogihara, Jörg Rothe
    Pages 483-492
  30. Johannes Köbler, Rainer Schuler
    Pages 493-502
  31. Tero Harju, Alexandra Mateescu, Arto Salomaa
    Pages 503-511
  32. Luis-Miguel Lopez, Philippe Narbel
    Pages 522-532

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS'98, held in Brno, Czech Republic, in August 1998.
The 71 revised full papers presented were carefully reviewed and selected from a total of 168 submissions. Also included are 11 full invited surveys by prominent leaders in the area. The papers are organized in topical sections on problem complexity; logic, semantics, and automata; rewriting; automata and transducers; typing; concurrency, semantics, and logic; circuit complexity; programming; structural complexity; formal languages; graphs; Turing complexity and logic; binary decision diagrams, etc..

Keywords

Algorithms Combinatorics Formal Languages Mathematical Logic calculus complexity logic sets

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0055753
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64827-7
  • Online ISBN 978-3-540-68532-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications