Advertisement

Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

  • Mogens Nielsen
  • Branislav Rovan
Conference proceedings MFCS 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1893)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Talks

    1. Silvano Dal Zilio, Andrew D. Gordon
      Pages 1-20
    2. James H. Davenport
      Pages 21-35
    3. Camil Demetrescu, Giuseppe F. Italiano
      Pages 36-51
    4. Edith Hemaspaandra, Lane A. Hemaspaandra
      Pages 64-83
    5. Phokion G. Kolaitis, Moshe Y. Vardi
      Pages 84-98
    6. Jan van Leeuwen, Jiří Wiedermann
      Pages 99-113
  3. Contributed Papers

    1. Farid Ablayev, Aida Gainutdinova
      Pages 132-140
    2. Samson Abramsky, Marina Lenisa
      Pages 141-151
    3. Lali Barriére, Josep Fábrega
      Pages 162-171
    4. David Mix Barrington, Pierre McKenzie, Cris Moore, Pascal Tesson, Denis Thérien
      Pages 172-181
    5. Jean Berstel, Luc Boasson
      Pages 182-191
    6. Therese C. Biedl, Broňa Brejová, Tomáš Vinař
      Pages 192-201
    7. Therese C. Biedl, Eowyn Cenek, Timothy M. Chan, Erik D. Demaine, Martin L. Demaine, Rudolf Fleischer et al.
      Pages 202-211
    8. Frank S. de Boer, Marcello M. Bonsangue
      Pages 212-221
    9. P. Bouyer, C. Dufourd, E. Fleury, A. Petit
      Pages 232-242
    10. Thomas Buchholz, Andreas Klein, Martin Kutrib
      Pages 243-252
    11. Arturo Carpi, Aldo de Luca
      Pages 264-274
    12. Olivier Carton, Wolfgang Thomas
      Pages 275-284
    13. Francesc Comellas, Margarida Mitjana, Lata Narayanan, Jaroslav Opatrny
      Pages 285-294
    14. Clelia De Felice
      Pages 295-303
    15. M. Dezani-Ciancaglini, F. Honsell, Y. Motohama
      Pages 304-313
    16. Arnaud Durand, Miki Hermann, Phokion G. Kolaitis
      Pages 323-332
    17. Todd Ebert, Heribert Vollmer
      Pages 333-342
    18. Zoltán Ésik
      Pages 343-352
    19. D. A. Fotakis, S. E. Nikoletseas, V. G. Papadopoulou, P. G. Spirakis
      Pages 363-372
    20. Philippa Gardner, Lucian Wischik
      Pages 373-382
    21. Jan Friso Groote, Jaco van de Pol
      Pages 383-393
    22. Lane A. Hemaspaandra, Mitsunori Ogihara, Gerd Wechsung
      Pages 394-404
    23. Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
      Pages 405-414
    24. Markus Holzer, Pierre McKenzie
      Pages 415-425
    25. Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard Kemmerer
      Pages 426-435
    26. Kazuo Iwama, Akihiro Matsuura, Mike Paterson
      Pages 436-445
    27. Ondřej Klíma, Jiří Srba
      Pages 456-466
    28. Werner Kuich
      Pages 488-496
    29. Oma Kupferman, Moshe Y. Vardi
      Pages 497-507
    30. Ruggero Lanotte, Andrea Maggiolo-Schettini
      Pages 518-527
    31. Olivier Ly
      Pages 539-548

About these proceedings

Keywords

Algorithm Theory Complexity Computability Computational Mathematics Computationalö Structures Mathematical Foundations Mathematical Logics Theoretical Computer Science Theory of Computing computer computer science mathematical logic

Editors and affiliations

  • Mogens Nielsen
    • 1
  • Branislav Rovan
    • 2
  1. 1.Department of Computer ScienceUniversity of AarhusAarhus CDenmark
  2. 2.Department of Computer ScieneComenius UniversityBratislavaSlovakia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44612-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67901-1
  • Online ISBN 978-3-540-44612-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site