FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science

20th Conference New Delhi, India, December 13–15, 2000 Proceedings

  • Sanjiv Kapoor
  • Sanjiva Prasad
Conference proceedings FSTTCS 2000

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

Table of contents

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

    1. E. Allen Emerson
      Pages 1-10
    2. Mary Fernandez, Jerome Simeon, Philip Wadler
      Pages 11-45
    3. David Basin, Manuel Clavel, José Meseguer
      Pages 55-80
    4. Martin Grötschel
      Pages 81-86
    5. Peter Buneman, Sanjeev Khanna, Wang-Chiew Tan
      Pages 87-93
  3. Contributions

    1. Lene Monrad Favrholdt, Morten Nyhave Nielsen
      Pages 106-116
    2. Igor Walukiewicz
      Pages 127-138
    3. Salvatore La Torre, Margherita Napoli
      Pages 139-150
    4. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
      Pages 151-163
    5. Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner
      Pages 164-175
    6. Jaikumar Radhakrishnan, Pranab Sen, Sundar Vishwanathan
      Pages 176-187
    7. Sergei Abramov, Robert Glück
      Pages 201-213
    8. Jan-Georg Smaus, François Fages, Pierre Deransart
      Pages 214-226
    9. Marina De Vos, Dirk Vermeir
      Pages 227-239
    10. Michael R. Fellows, Catherine McCartin, Frances A. Rosamond, Ulrike Stege
      Pages 240-251

About these proceedings

Keywords

Theoretical computer science XML algorithms automata complexity complexity theory computing theory discrete mathematics formal methods formal verification model checking program semantics programming software science verification

Editors and affiliations

  • Sanjiv Kapoor
    • 1
  • Sanjiva Prasad
    • 1
  1. 1.Department of Computer Science and EngineeringIndian Institute of Technology, DelhiNew DelhiIndia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44450-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41413-1
  • Online ISBN 978-3-540-44450-3
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology