Advertisement

Foundations of Software Technology and Theoretical Computer Science

18th Conference, Chennai, India, December 17-19, 1998. Proceedings

  • Vikraman Arvind
  • Sundar Ramanujam
Conference proceedings FSTTCS 1998

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

Table of contents

  1. Front Matter
  2. Invited Talk 1

  3. Session 1(a)

    1. Nili Guttmann-Beck, Refael Hassin, Samir Khuller, Balaji Raghavachari
      Pages 6-17
    2. Dimitris A. Fotakis, Paul G. Spirakis
      Pages 18-29
  4. Session 1(b)

    1. Paola Quaglia, David Walker
      Pages 42-53
  5. Session 2(a)

  6. Session 2(b)

    1. Ilaria Castellani, Matthew Hennessy
      Pages 90-101
  7. Invited Talk 2

  8. Session 3

    1. Maya Madhavan, Priti Shankar
      Pages 122-133
    2. Andreas Neumann, Helmut Seidl
      Pages 134-145
  9. Session 4

    1. Vijay K. Garg, J. Roger Mitchell
      Pages 158-169
  10. Invited Talk 3

    1. Erik Meineche Schmidt
      Pages 170-173
  11. Session 5(a)

    1. Devdatt P. Dubhashi
      Pages 174-185
    2. Ian Munro, Venkatesh Raman, S. Srinivasa Rao
      Pages 186-196
  12. Session 5(b)

    1. N. S. Pendharkar, K. Gopinath
      Pages 197-208
    2. K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
      Pages 209-220
  13. Session 6(a)

    1. N. Kalyana Rama Prasad, P. Sreenivasa Kumar
      Pages 221-232
    2. Joachim Gudmundsson, Christos Levcopoulos
      Pages 233-244
  14. Session 6(b)

    1. Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim G. Larsen
      Pages 245-256
    2. Paritosh K. Pandya, Y. S. Ramakrishna
      Pages 257-268
  15. Invited Talk 4

  16. Invited Talk 5

  17. Session 7

    1. Michaela Huhn, Peter Niebert, Heike Wehrheim
      Pages 271-282
    2. Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
      Pages 283-294
  18. Session 8(a)

    1. Satyanarayana V. Lokam
      Pages 307-318
  19. Session 8(b)

  20. Session 9

    1. Petr Jančar, František Mráz, Martin Plátek, Jörg Vogel
      Pages 343-354
    2. Kamal Lodaya, Pascal Weil
      Pages 355-366
  21. Invited Talk 6

    1. Umesh Vazirani
      Pages 367-367
  22. Back Matter

About these proceedings

Keywords

Mathematica Program Semantics algorithms computer science formal methods logic mathematical logic semantics software software engineering theoretical computer science

Editors and affiliations

  • Vikraman Arvind
    • 1
  • Sundar Ramanujam
    • 2
  1. 1.The Institute of Mathematical SciencesChennaiIndia
  2. 2.National Institute of Advanced StudiesIndian Institute of Science CampusBangaloreIndia

Bibliographic information

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