Bericht (45)
161.
Bericht
All-pairs min-cut in sparse networks. Max-Planck-Institut für Informatik, Saarbrücken (1996), 27 S.
162.
Bericht
Beyond the finite in automatic hardware verification. Max-Planck-Institut für Informatik, Saarbrücken (1996), 51 S.
163.
Bericht
Natural deduction for non-classical logics. Max-Planck-Institut für Informatik, Saarbrücken (1996), 44 S.
164.
Bericht
Labelled propositional modal logics: theory and practice. Max-Planck-Institut für Informatik, Saarbrücken (1996), 46 S.
165.
Bericht
Using algebraic specification languages for model-oriented specifications. Max-Planck-Institut für Informatik, Saarbrücken (1996), 17 S.
166.
Bericht
Lower bounds for row minima searching. Max-Planck-Institut für Informatik, Saarbrücken (1996), 12 S.
167.
Bericht
Rotations of periodic strings and short superstrings. Max-Planck-Institut für Informatik, Saarbrücken (1996), 13 S.
168.
Bericht
The randomized complexity of maintaining the minimum. Max-Planck-Institut für Informatik, Saarbrücken (1996), 12 S.
169.
Bericht
High-precision floating point numbers in LEDA. Max-Planck-Institut für Informatik, Saarbrücken (1996), 47 S.
170.
Bericht
The LEDA class real number. Max-Planck-Institut für Informatik, Saarbrücken (1996), 52 S.
171.
Bericht
A branch-and-cut approach to physical mapping with end-probes. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.
172.
Bericht
On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees. Max-Planck-Institut für Informatik, Saarbrücken (1996), 14 S.
173.
Bericht
Exact ground states of two-dimensional $\pm J$ Ising Spin Glasses. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.
174.
Bericht
More general parallel tree contraction: Register allocation and broadcasting in a tree. Max-Planck-Institut für Informatik, Saarbrücken (1996), 24 S.
175.
Bericht
Negative dependence through the FKG Inequality. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.
176.
Bericht
Runtime prediction of real programs on real machines. Max-Planck-Institut für Informatik, Saarbrücken (1996), 10 S.
177.
Bericht
Theorem proving in cancellative abelian monoids. Max-Planck-Institut für Informatik, Saarbrücken (1996), 46 S.
178.
Bericht
Generalized $k$-Center Problems. Max-Planck-Institut für Informatik, Saarbrücken (1996), 9 S.
179.
Bericht
Distributed list coloring: how to dynamically allocate frequencies to mobile base stations. Max-Planck-Institut für Informatik, Saarbrücken (1996), 15 S.
180.
Bericht
External inverse pattern matching. Max-Planck-Institut für Informatik, Saarbrücken (1996), 12 S.