Lecture Notes in Computer Science

Foundations of Software Technology and Theoretical Computer Science

Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings

Editors: Veni Madhavan, Conjeevaram E. (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46872-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-52048-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.

Table of contents (27 chapters)

Table of contents (27 chapters)
  • A linear-time recognition algorithm for P 4-reducible graphs

    Jamison, B. (et al.)

    Pages 1-19

  • Fast parallel approximations of the maximum weighted cut problem through derandomization

    Pantziou, Grammati (et al.)

    Pages 20-29

  • A new class of separators and planarity of chordal graphs

    Kumar, P. Sreenivasa (et al.)

    Pages 30-43

  • Optimal parallel algorithms on circular-arc graphs

    Rao, A. Srinivasa (et al.)

    Pages 44-55

  • Algebraic properties of the space of multivalued and paraconsistent logic programs

    Subrahmanian, V. S.

    Pages 56-67

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46872-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-52048-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Software Technology and Theoretical Computer Science
Book Subtitle
Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
Editors
  • Conjeevaram E. Veni Madhavan
Series Title
Lecture Notes in Computer Science
Series Volume
405
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46872-1
DOI
10.1007/3-540-52048-1
Softcover ISBN
978-3-540-52048-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 341
Topics