Foundations of Software Technology and Theoretical Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 67 Planar point location revisited (A guided tour of a decade of research)
3. Altmetric Badge
   Chapter 68 Computing a viewpoint of a set of points inside a polygon
4. Altmetric Badge
   Chapter 69 Analysis of preflow push algorithms for maximum network flow
5. Altmetric Badge
   Chapter 70 A new linear algorithm for the two path problem on chordal graphs
6. Altmetric Badge
   Chapter 71 Extending planar graph algorithms to K 3,3-free graphs
7. Altmetric Badge
   Chapter 72 Constant-space string-matching
8. Altmetric Badge
   Chapter 73 Inherent nonslicibility of rectangular duals in VLSI floorplanning
9. Altmetric Badge
   Chapter 74 Path planning with local information
10. Altmetric Badge
    Chapter 75 Linear broadcast routing
11. Altmetric Badge
    Chapter 76 Predicting deadlock in store-and-forward networks
12. Altmetric Badge
    Chapter 77 On parallel sorting and addition with concurrent writes
13. Altmetric Badge
    Chapter 78 An optimal parallel algorithm for sorting presorted files
14. Altmetric Badge
    Chapter 79 Superlinear speedup in parallel state-space search
15. Altmetric Badge
    Chapter 80 Circuit definitions of nondeterministic complexity classes
16. Altmetric Badge
    Chapter 81 Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes
17. Altmetric Badge
    Chapter 82 Padding, commitment and self-reducibility
18. Altmetric Badge
    Chapter 83 The complexity of a counting finite-state automaton
19. Altmetric Badge
    Chapter 84 A hierarchy theorem for pram-based complexity classes
20. Altmetric Badge
    Chapter 85 A natural deduction treatment of operational semantics
21. Altmetric Badge
    Chapter 86 Uniformly applicative structures, a theory of computability and polyadic functions
22. Altmetric Badge
    Chapter 87 A proof technique for register atomicity
23. Altmetric Badge
    Chapter 88 Relation level semantics
24. Altmetric Badge
    Chapter 89 A constructive set theory for program development
25. Altmetric Badge
    Chapter 90 McCarthy's amb cannot implement fair merge
26. Altmetric Badge
    Chapter 91 GHC — A language for a new age of parallel programming
27. Altmetric Badge
    Chapter 92 Accumulators: New logic variable abstractions for functional languages
28. Altmetric Badge
    Chapter 93 A resolution rule for well-formed formulae
29. Altmetric Badge
    Chapter 94 Algebraic and operational semantics of positive/negative conditional algebraic specifications
30. Altmetric Badge
    Chapter 95 Semi-unification
31. Altmetric Badge
    Chapter 96 A method to check knowledge base consistency
32. Altmetric Badge
    Chapter 97 Knowledgebases as structured theories
33. Altmetric Badge
    Chapter 98 On functional independencies
34. Altmetric Badge
    Chapter 99 A generic algorithm for transaction processing during network partitioning