↓ Skip to main content

STACS 94

Overview of attention for book
Cover of 'STACS 94'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 127 The nature and meaning of perturbations in geometric computing
  3. Altmetric Badge
    Chapter 128 One binary horn clause is enough
  4. Altmetric Badge
    Chapter 129 Transforming constraint logic programs
  5. Altmetric Badge
    Chapter 130 A hierarchy of temporal logics with past
  6. Altmetric Badge
    Chapter 131 The complexity of resource-bounded first-order classical logic
  7. Altmetric Badge
    Chapter 132 Two proof procedures for a cardinality based language in propositional calculus
  8. Altmetric Badge
    Chapter 133 The alternation hierarchy for machines with sublogarithmic space is infinite
  9. Altmetric Badge
    Chapter 134 Quasilinear time complexity theory
  10. Altmetric Badge
    Chapter 135 Space-efficient deterministic simulation of probabilistic automata
  11. Altmetric Badge
    Chapter 136 Reachability and the power of local ordering
  12. Altmetric Badge
    Chapter 137 Are parallel machines always faster than sequential machines?
  13. Altmetric Badge
    Chapter 138 Ground reducibility and automata with disequality constraints
  14. Altmetric Badge
    Chapter 139 Perpetuality and strong normalization in orthogonal term rewriting systems
  15. Altmetric Badge
    Chapter 140 About changing the ordering during Knuth-Bendix completion
  16. Altmetric Badge
    Chapter 141 Combination of matching algorithms
  17. Altmetric Badge
    Chapter 142 Periodic constant depth sorting networks
  18. Altmetric Badge
    Chapter 143 Optimal pattern matching on meshes
  19. Altmetric Badge
    Chapter 144 Faster sorting and routing on grids with diagonals
  20. Altmetric Badge
    Chapter 145 Deterministic 1 - k routing on meshes with applications to worm-hole routing
  21. Altmetric Badge
    Chapter 146 A unifying type-theoretic framework for objects
  22. Altmetric Badge
    Chapter 147 Operational specifications with built-ins
  23. Altmetric Badge
    Chapter 148 Reactive variables for system specification and design
  24. Altmetric Badge
    Chapter 149 A new parallel vector model, with exact characterization of NC k
  25. Altmetric Badge
    Chapter 150 On adaptive dlogtime and polylogtime reductions
  26. Altmetric Badge
    Chapter 151 NC k (NP)=AC k −1 (NP)
  27. Altmetric Badge
    Chapter 152 Hypertransition systems
  28. Altmetric Badge
    Chapter 153 On the star operation and the finite power property in free partially commutative monoids
  29. Altmetric Badge
    Chapter 154 Coding with traces
  30. Altmetric Badge
    Chapter 155 Monadic second-order logic over pictures and recognizability by tiling systems
  31. Altmetric Badge
    Chapter 156 Q-grammars: Results, implementation
  32. Altmetric Badge
    Chapter 157 A topology for complete semirings
  33. Altmetric Badge
    Chapter 158 The global power of additional queries to random oracles
  34. Altmetric Badge
    Chapter 159 Cook versus Karp-Levin: Separating completeness notions if NP is not small
  35. Altmetric Badge
    Chapter 160 On sets bounded truth-table reducible to P-selective sets
  36. Altmetric Badge
    Chapter 161 Two refinements of the polynomial hierarchy
  37. Altmetric Badge
    Chapter 162 On different reducibility notions for function classes
  38. Altmetric Badge
    Chapter 163 Optimal parallelization of Las Vegas algorithms
  39. Altmetric Badge
    Chapter 164 Efficient parallel algorithms for geometric k -clustering problems
  40. Altmetric Badge
    Chapter 165 A simple optimal parallel algorithm for reporting paths in a tree
  41. Altmetric Badge
    Chapter 166 Parallel detection of all palindromes in a string
  42. Altmetric Badge
    Chapter 167 On the structure of parameterized problems in NP
  43. Altmetric Badge
    Chapter 168 On the approximability of finding maximum feasible subsystems of linear systems
  44. Altmetric Badge
    Chapter 169 On the acceptance power of regular languages
  45. Altmetric Badge
    Chapter 170 Complexity classes with finite acceptance types
  46. Altmetric Badge
    Chapter 171 The complete axiomatization of Cs-congruence
  47. Altmetric Badge
    Chapter 172 Transition system specifications in stalk format with bisimulation as a congruence
  48. Altmetric Badge
    Chapter 173 Decidability questions for bisimilarity of Petri nets and some related problems
  49. Altmetric Badge
    Chapter 174 The variable membership problem: Succinctness versus complexity
  50. Altmetric Badge
    Chapter 175 Economy of description for single-valued transducers
  51. Altmetric Badge
    Chapter 176 Automaticity: Properties of a measure of descriptional complexity
  52. Altmetric Badge
    Chapter 177 Towards a theory of recursive structures
  53. Altmetric Badge
    Chapter 178 Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data
  54. Altmetric Badge
    Chapter 179 Nondeterminism in patterns
  55. Altmetric Badge
    Chapter 180 Upper bounds for the expected length of a longest common subsequence of two binary sequences
  56. Altmetric Badge
    Chapter 181 The ambiguity of primitive words
  57. Altmetric Badge
    Chapter 182 On codes having no finite completion
  58. Altmetric Badge
    Chapter 183 A new approach to information theory
  59. Altmetric Badge
    Chapter 184 On Voronoi diagrams in the L p -metric in higher dimensions
  60. Altmetric Badge
    Chapter 185 Total protection of analytic invariant information in cross tabulated tables
  61. Altmetric Badge
    Chapter 186 Dominating cliques in graphs with hypertree structure
  62. Altmetric Badge
    Chapter 187 On vertex ranking for permutation and other graphs
  63. Altmetric Badge
    Chapter 188 Finding all minimal separators of a graph
  64. Altmetric Badge
    Chapter 189 On the complexity of the maximum cut problem
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
wikipedia
3 Wikipedia pages

Readers on

mendeley
3 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
STACS 94
Published by
Springer Science & Business Media, February 1994
DOI 10.1007/3-540-57785-8
ISBNs
978-3-54-057785-0, 978-3-54-048332-8
Editors

Enjalbert, Patrice, Mayr, Ernst W., Wagner, Klaus W.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 33%
Student > Ph. D. Student 1 33%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Unknown 1 33%