STACS 84

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Key-problems and key-methods in computational geometry
3. Altmetric Badge
   Chapter 2 Some recent results on squarefree words
4. Altmetric Badge
   Chapter 3 Transformations realizing fairness assumptions for parallel programs
5. Altmetric Badge
   Chapter 4 Computing the largest empty rectangle
6. Altmetric Badge
   Chapter 5 Approximation schemes for covering and packing problems in robotics and vlsi
7. Altmetric Badge
   Chapter 6 Covering polygons with minimum number of rectangles
8. Altmetric Badge
   Chapter 7 On expressive interpretations of a Hoare-logic for Clarke's language L 4
9. Altmetric Badge
   Chapter 8 Towards executable specifications using conditional axioms
10. Altmetric Badge
    Chapter 9 Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible
11. Altmetric Badge
    Chapter 10 On a general weight of trees
12. Altmetric Badge
    Chapter 11 From expanders to better superconcentrators without cascading
13. Altmetric Badge
    Chapter 12 Locally synchronous complexity in the light of the trans-box method
14. Altmetric Badge
    Chapter 13 STACS 84
15. Altmetric Badge
    Chapter 14 Blocage et vivacité dans les réseaux a pile-file
16. Altmetric Badge
    Chapter 15 Denotational semantics of concurrent programs with shared memory
17. Altmetric Badge
    Chapter 16 Higher order data structures
18. Altmetric Badge
    Chapter 17 Computability in higher types and the universal domain P ω
19. Altmetric Badge
    Chapter 18 On the structure of polynomial time degrees
20. Altmetric Badge
    Chapter 19 Optimal layouts of the tree of meshes with vertices on the perimeter of the bounding convex region
21. Altmetric Badge
    Chapter 20 Efficient simulations among several models of parallel computers (extended abstract)
22. Altmetric Badge
    Chapter 21 Bornes inferieures sur la complexite des facteurs des mots infinis engendres par morphismes iteres
23. Altmetric Badge
    Chapter 22 Adherence equivalence is decidable for DOL languages
24. Altmetric Badge
    Chapter 23 Pusdown space complexity and related full-A.F.L.s.
25. Altmetric Badge
    Chapter 24 Automates a pile sur des alphabets infinis
26. Altmetric Badge
    Chapter 25 STACS 84
27. Altmetric Badge
    Chapter 26 Algebre de machines et logique temporelle
28. Altmetric Badge
    Chapter 27 Algebraic and topological theory of languages and computation
29. Altmetric Badge
    Chapter 28 A property of three-element codes
30. Altmetric Badge
    Chapter 29 Polynomial time inference of general pattern languages
31. Altmetric Badge
    Chapter 30 On extendibility of unavoidable sets