Foundations of Software Technology and Theoretical Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 33 Circuit complexity before the dawn of the new millennium
3. Altmetric Badge
   Chapter 34 A lambda calculus with letrecs and barriers
4. Altmetric Badge
   Chapter 35 Tables
5. Altmetric Badge
   Chapter 36 Mechanized formal methods: Progress and prospects
6. Altmetric Badge
   Chapter 37 The parameter space of the d -step conjecture
7. Altmetric Badge
   Chapter 38 On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees
8. Altmetric Badge
   Chapter 39 Efficient computation of rectilinear geodesic voronoi neighbor in presence of obstacles
9. Altmetric Badge
   Chapter 40 Weak bisimulation and model checking for Basic Parallel Processes
10. Altmetric Badge
    Chapter 41 Testing processes for efficiency
11. Altmetric Badge
    Chapter 42 Regularity is decidable for normed PA processes in polynomial time
12. Altmetric Badge
    Chapter 43 Dynamic maintenance of shortest path trees in simple polygons
13. Altmetric Badge
    Chapter 44 Close approximations of minimum rectangular coverings
14. Altmetric Badge
    Chapter 45 A new competitive algorithm for agent searching in unknown streets
15. Altmetric Badge
    Chapter 46 On the design of hybrid control systems using automata models
16. Altmetric Badge
    Chapter 47 Constraint retraction in FD
17. Altmetric Badge
    Chapter 48 Winskel is (almost) right
18. Altmetric Badge
    Chapter 49 An optimal deterministic algorithm for online b-matching
19. Altmetric Badge
    Chapter 50 Tight bounds for prefetching and buffer management algorithms for parallel I/O systems
20. Altmetric Badge
    Chapter 51 Complexity of the gravitational method for linear programming
21. Altmetric Badge
    Chapter 52 Optimal and information theoretic syntactic Pattern Recognition involving traditional and transposition errors
22. Altmetric Badge
    Chapter 53 Minimal relative normalization in orthogonal expression reduction systems
23. Altmetric Badge
    Chapter 54 Trace consistency and inevitability
24. Altmetric Badge
    Chapter 55 Finite state implementations of knowledge-based programs
25. Altmetric Badge
    Chapter 56 Higher-order proof by consistency
26. Altmetric Badge
    Chapter 57 Advocating ownership
27. Altmetric Badge
    Chapter 58 Non-cancellative Boolean circuits: A generalization of monotone Boolean circuits
28. Altmetric Badge
    Chapter 59 Limitations of the QRQW and EREW PRAM models
29. Altmetric Badge
    Chapter 60 Pinpointing computation with modular queries in the Boolean hierarchy
30. Altmetric Badge
    Chapter 61 Characterization of the principal type of normal forms in an intersection type system
31. Altmetric Badge
    Chapter 62 Correcting type errors in the Curry System
32. Altmetric Badge
    Chapter 63 Immediate fixpoints and their use in groundness analysis
33. Altmetric Badge
    Chapter 64 Graph types for monadic mobile processes