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

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
  • About this book