↓ 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 39 Some observations about the nature of computer science
  3. Altmetric Badge
    Chapter 40 Essential intersection type assignment
  4. Altmetric Badge
    Chapter 41 Label-selective λ-calculus syntax and confluence
  5. Altmetric Badge
    Chapter 42 Conventional and uniqueness typing in graph rewrite systems
  6. Altmetric Badge
    Chapter 43 A meta-language for typed object-oriented languages
  7. Altmetric Badge
    Chapter 44 Preemption in concurrent systems
  8. Altmetric Badge
    Chapter 45 Local versus non-local computation of length of digitized curves
  9. Altmetric Badge
    Chapter 46 Data-independences of parallel random access machines
  10. Altmetric Badge
    Chapter 47 Proving termination of logic programs by transforming them into equivalent term rewriting systems
  11. Altmetric Badge
    Chapter 48 Completeness of hierarchical combinations of term rewriting systems
  12. Altmetric Badge
    Chapter 49 Higher-order and semantic unification
  13. Altmetric Badge
    Chapter 50 A conservative extension of first-order logic and its applications to theorem proving
  14. Altmetric Badge
    Chapter 51 Well-founded Ordered Search (extended abstract)
  15. Altmetric Badge
    Chapter 52 A real-time interval logic and its decision procedure
  16. Altmetric Badge
    Chapter 53 On the semantics of optimization predicates in CLP languages
  17. Altmetric Badge
    Chapter 54 Incremental algorithms for constraint solving and entailment over rational trees
  18. Altmetric Badge
    Chapter 55 Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles
  19. Altmetric Badge
    Chapter 56 Feasibility of design in stereolithography
  20. Altmetric Badge
    Chapter 57 Compact location problems
  21. Altmetric Badge
    Chapter 58 On some communication complexity problems related to threshold functions
  22. Altmetric Badge
    Chapter 59 Recursiveness over the complex numbers is time-bounded
  23. Altmetric Badge
    Chapter 60 A lower bound for solvability of polynomial equations
  24. Altmetric Badge
    Chapter 61 Reuse of proofs in software verification
  25. Altmetric Badge
    Chapter 62 Induce-statements and induce-expressions: Constructs for inductive programming
  26. Altmetric Badge
    Chapter 63 A graphic language based on timing diagrams
  27. Altmetric Badge
    Chapter 64 Software technology: Integrating theory and practice
  28. Altmetric Badge
    Chapter 65 Generating degrees of belief from statistical information: An overview
  29. Altmetric Badge
    Chapter 66 Complexity results for 1-safe nets
  30. Altmetric Badge
    Chapter 67 Some results about logical descriptions of non deterministic behaviours
  31. Altmetric Badge
    Chapter 68 Order structures and generalisations of Szpilrajn's theorem
  32. Altmetric Badge
    Chapter 69 ICSP and its relationship with ACSP and CSP
  33. Altmetric Badge
    Chapter 70 On reduction-based process semantics
  34. Altmetric Badge
    Chapter 71 Keeping track of the latest gossip: Bounded time-stamps suffice
  35. Altmetric Badge
    Chapter 72 Time optimal self-stabilizing spanning tree algorithms
  36. Altmetric Badge
    Chapter 73 Efficient algorithm to sort linear combinations of arrays
  37. Altmetric Badge
    Chapter 74 A simple file structure for the weighted dictionary problem
  38. Altmetric Badge
    Chapter 75 Searching, sorting and randomised algorithms for Central Elements and ideal counting in posets
  39. Altmetric Badge
    Chapter 76 Learning classes of Regular and Linear Languages in Valiant's learnability framework
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
10 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 Berlin Heidelberg, November 1993
DOI 10.1007/3-540-57529-4
ISBNs
978-3-54-057529-0, 978-3-54-048211-6
Editors

Shyamasundar, Rudrapatna K.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 10 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 10 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 40%
Researcher 2 20%
Other 1 10%
Professor 1 10%
Student > Master 1 10%
Other 1 10%
Readers by discipline Count As %
Computer Science 7 70%
Unspecified 1 10%
Business, Management and Accounting 1 10%
Social Sciences 1 10%