Lecture Notes in Computer Science

Foundations of Software Technology and Theoretical Computer Science

17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings

Editors: Ramesh, S., Sivakumar, G. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69659-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase Institutional customers should get in touch with their account manager
Softcover $109.00
price for USA in USD
About this book

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • QSM: A general purpose shared-memory model for parallel computation

    Pages 1-5

    Ramachandran, Vijaya

  • Approximating geometric domains through topological triangulations

    Pages 6-21

    Dey, Tamal K. (et al.)

  • Solving some discrepancy problems in NC

    Pages 22-36

    Mahajan, Sanjeev (et al.)

  • Graph editing to bipartite interval graphs: Exact and asymptotic bounds

    Pages 37-53

    Cirino, K. (et al.)

  • Model checking

    Pages 54-56

    Clarke, Edmund M.

Buy this book

eBook $84.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69659-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase Institutional customers should get in touch with their account manager
Softcover $109.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Software Technology and Theoretical Computer Science
Book Subtitle
17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
Editors
  • S. Ramesh
  • G. Sivakumar
Series Title
Lecture Notes in Computer Science
Series Volume
1346
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69659-9
DOI
10.1007/BFb0058017
Softcover ISBN
978-3-540-63876-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 351
Topics