Advertisement

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
    11. Surender Baswana, Sandeep Sen
      Pages 252-263
    12. Huimin Lin, Wang Yi
      Pages 277-289
    13. Pilu Crescenzi, Alberto Del Lungo, Roberto Grossi, Elena Lodi, Linda Pagli, Gianluca Rossi
      Pages 290-301
    14. Amihood Amir, Moshe Lewenstein, Ely Porat
      Pages 302-311
    15. Rance Cleaveland, Gerald Lüttgen
      Pages 312-324
    16. Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari
      Pages 325-335
    17. Holger Spakowski, Jörg Vogel
      Pages 348-360
    18. Johannes Köbler, Jochen Messner
      Pages 361-372
    19. Yuxi Fu, Zhenrong Yang
      Pages 385-396
    20. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
      Pages 397-408
    21. Stefano Leonardi, Alberto Marchetti-Spaccamela, Andrea Vitaletti
      Pages 409-420
    22. Bala Kalyanasundaram, Kirk Pruhs
      Pages 421-428
    23. Pietro Di Gianantonio, Gianluca Franco
      Pages 429-441
    24. Foto Afrati, Evripidis Bampis, Aleksei V. Fishkin, Klaus Jansen, Claire Kenyon
      Pages 454-464
    25. Michael T. Hallett, Jens Lagergren
      Pages 465-476
    26. Bharat Adsul, Aranyak Mehta, Milind Sohoni
      Pages 477-488
    27. Ajay D. Kshemkalyani
      Pages 489-502
    28. Christian Gla\er, Heinz Schmitz
      Pages 503-515
    29. Jens R. Woinowski
      Pages 516-529
  4. Back Matter
    Pages 531-532

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
  • Buy this book on publisher's site