↓ Skip to main content
What is this page? Embed badge

Foundations of Software Technology and Theoretical Computer Science

Overview of attention for book
Cover of 'Foundations of Software Technology and Theoretical Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 28 A linear-time recognition algorithm for P 4 -reducible graphs
  3. Altmetric Badge
    Chapter 29 Fast parallel approximations of the maximum weighted cut problem through derandomization
  4. Altmetric Badge
    Chapter 30 A new class of separators and planarity of chordal graphs
  5. Altmetric Badge
    Chapter 31 Optimal parallel algorithms on circular-arc graphs
  6. Altmetric Badge
    Chapter 32 Algebraic properties of the space of multivalued and paraconsistent logic programs
  7. Altmetric Badge
    Chapter 33 An autoepistemic logical view of knowledge base
  8. Altmetric Badge
    Chapter 34 A natural semantics for logic programs with negation
  9. Altmetric Badge
    Chapter 35 A transformation system for deductive database modules with perfect model semantics
  10. Altmetric Badge
    Chapter 36 An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks
  11. Altmetric Badge
    Chapter 37 Impossibility results in the presence of multiple faulty processes
  12. Altmetric Badge
    Chapter 38 An adaptive regulator approach for the design of load sharing algorithms
  13. Altmetric Badge
    Chapter 39 An algebraic compositional semantics of an object oriented notation with concurrency
  14. Altmetric Badge
    Chapter 40 An axiomatization of event structures
  15. Altmetric Badge
    Chapter 41 Deducing causal relationships in CCS
  16. Altmetric Badge
    Chapter 42 Annotated program transformations
  17. Altmetric Badge
    Chapter 43 Algebraic software development concepts for module and configuration families
  18. Altmetric Badge
    Chapter 44 On the limitations of locally robust positive reductions
  19. Altmetric Badge
    Chapter 45 Query evaluation with null values: How complex is completeness?
  20. Altmetric Badge
    Chapter 46 Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases
  21. Altmetric Badge
    Chapter 47 The frobenius problem
  22. Altmetric Badge
    Chapter 48 An efficient implicit data structure for path testing and searching in rooted trees and forests
  23. Altmetric Badge
    Chapter 49 Robust decompositions of polyhedra
  24. Altmetric Badge
    Chapter 50 Gate matrix layout revisited: Algorithmic performance and probabilistic analysis
  25. Altmetric Badge
    Chapter 51 Parallel parsing on a one-way linear array of finite-state machines
  26. Altmetric Badge
    Chapter 52 Energy-time trade-offs in VLSI computations
  27. Altmetric Badge
    Chapter 53 Time and real-time in programs
  28. Altmetric Badge
    Chapter 54 A proof system for communicating processes with value-passing (extended abstract)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages
Summary Wikipedia
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Foundations of Software Technology and Theoretical Computer Science
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-52048-1
ISBNs
978-3-54-052048-1, 978-3-54-046872-1
Editors

Veni Madhavan, C. E.

View on publisher site

This page is provided by Altmetric.