Skip to main content
SpringerLink
Log in

Foundations of Software Technology and Theoretical Computer Science

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

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. C. E. Veni Madhavan
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FSTTCS 1989.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. A linear-time recognition algorithm for P 4-reducible graphs

    • B. Jamison, S. Olariu
    Pages 1-19

  3. Fast parallel approximations of the maximum weighted cut problem through derandomization

    • Grammati Pantziou, Paul Spirakis, Christos Zaroliagis
    Pages 20-29

  4. A new class of separators and planarity of chordal graphs

    • P. Sreenivasa Kumar, C. E. Veni Madhavan
    Pages 30-43

  5. Optimal parallel algorithms on circular-arc graphs

    • A. Srinivasa Rao, C. Pandu Rangan
    Pages 44-55

  6. Algebraic properties of the space of multivalued and paraconsistent logic programs

    • V. S. Subrahmanian
    Pages 56-67

  7. An autoepistemic logical view of knowledge base

    • Y. J. Jiang
    Pages 68-77

  8. A natural semantics for logic programs with negation

    • Phan Minh Dung, Kanchana Kanchanasut
    Pages 78-88

  9. A transformation system for deductive database modules with perfect model semantics

    • Michael J. Maher
    Pages 89-98

  10. An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks

    • Mohan Ahuja, Yahui Zhu
    Pages 99-108

  11. Impossibility results in the presence of multiple faulty processes

    • Gadi Taubenfeld, Shumel Katz, Shlomo Moran
    Pages 109-120

  12. An adaptive regulator approach for the design of load sharing algorithms

    • F. Bonomi, P. J. Fleming, P. Steinberg
    Pages 121-130

  13. An algebraic compositional semantics of an object oriented notation with concurrency

    • Ruth Breu, Elena Zucca
    Pages 131-142

  14. An axiomatization of event structures

    • Madhavan Mukund, P. S. Thiagarajan
    Pages 143-160

  15. Deducing causal relationships in CCS

    • Jeremy Gunawardena
    Pages 161-170

  16. Annotated program transformations

    • Viktor N. Kasyanov
    Pages 171-180

  17. Algebraic software development concepts for module and configuration families

    • Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
    Pages 181-192

  18. On the limitations of locally robust positive reductions

    • Lane A. Hemachandra, Sanjay Jain
    Pages 193-203

  19. Query evaluation with null values: How complex is completeness?

    • V. S. Lakshmanan
    Pages 204-222

  20. Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases

    • Luc Albert
    Pages 223-241
Back to top

Other volumes

  1. Foundations of Software Technology and Theoretical Computer Science

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation