↓ Skip to main content

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 92 System specification and refinement in temporal logic
  3. Altmetric Badge
    Chapter 93 Fixed points of Büchi automata
  4. Altmetric Badge
    Chapter 94 An automata-theoretic decision procedure for Future Interval Logic
  5. Altmetric Badge
    Chapter 95 Improving the results of static analyses of programs by local decreasing iterations
  6. Altmetric Badge
    Chapter 96 Implicit point location in arrangements of line segments, with an application to motion planning
  7. Altmetric Badge
    Chapter 97 An optimal algorithm for the intersection radius of a set of convex polygons
  8. Altmetric Badge
    Chapter 98 C-sensitive triangulations approximate the minmax length triangulation
  9. Altmetric Badge
    Chapter 99 Superpolynomial circuits, almost sparse oracles and the exponential hierarchy
  10. Altmetric Badge
    Chapter 100 Structural average case complexity
  11. Altmetric Badge
    Chapter 101 On bounded truth-table, conjunctive, and randomized reductions to sparse sets
  12. Altmetric Badge
    Chapter 102 One-way functions and isomorphism conjecture
  13. Altmetric Badge
    Chapter 103 Solving the Lagrangian dual when the number of constraints is fixed
  14. Altmetric Badge
    Chapter 104 Superfiniteness of query answers in deductive databases: An automata-theoretic approach
  15. Altmetric Badge
    Chapter 105 Proving polynomials positive
  16. Altmetric Badge
    Chapter 106 An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs
  17. Altmetric Badge
    Chapter 107 Polymorphic typing by abstract interpretation
  18. Altmetric Badge
    Chapter 108 The Gallina specification language: A case study
  19. Altmetric Badge
    Chapter 109 Verification of large software systems
  20. Altmetric Badge
    Chapter 110 Detection of unstable predicates in distributed programs
  21. Altmetric Badge
    Chapter 111 Fast sequential and randomised parallel algorithms for rigidity and approximate min k-cut
  22. Altmetric Badge
    Chapter 112 Approximation through local optimality: Designing networks with small degree
  23. Altmetric Badge
    Chapter 113 Games and full Completeness for multiplicative Linear Logic
  24. Altmetric Badge
    Chapter 114 Real-time calculi and expansion theorems
  25. Altmetric Badge
    Chapter 115 Branching bisimulation for context-free processes
  26. Altmetric Badge
    Chapter 116 CCS, locations and asynchronous transition systems
  27. Altmetric Badge
    Chapter 117 Reasoning about safety and liveness properties for probabilistic processes
  28. Altmetric Badge
    Chapter 118 String matching under a general matching relation
  29. Altmetric Badge
    Chapter 119 On the complexity of Certified Write All Algorithms
  30. Altmetric Badge
    Chapter 120 Selection from read-only memory and sorting with optimum data movement
  31. Altmetric Badge
    Chapter 121 Some observations on 2-way probabilistic finite automata
  32. Altmetric Badge
    Chapter 122 Recent developments in algorithms for the maximum-flow problem
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Readers on

mendeley
4 Mendeley
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 Science & Business Media, November 1992
DOI 10.1007/3-540-56287-7
ISBNs
978-3-54-056287-0, 978-3-54-047507-1
Editors

Shyamasundar, Rudrapatna

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 75%
Unspecified 1 25%
Readers by discipline Count As %
Unspecified 1 25%
Business, Management and Accounting 1 25%
Computer Science 1 25%
Social Sciences 1 25%