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

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