Bericht (21)
201.
Bericht
BALL: Biochemical Algorithms Library. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.
202.
Bericht
A simple way to recognize a correct Voronoi diagram of line segments. Max-Planck-Institut für Informatik, Saarbrücken (1999), 11 S.
203.
Bericht
Automata on DAG representations of finite trees. Max-Planck-Institut für Informatik, Saarbrücken (1999), 30 S.
204.
Bericht
Decidable fragments of simultaneous rigid reachability. Max-Planck-Institut für Informatik, Saarbrücken (1999), 19 S.
205.
Bericht
A theoretical and experimental study on the construction of suffix arrays in external memory. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.
206.
Bericht
Symbolic representation of upward-closed sets. Max-Planck-Institut für Informatik, Saarbrücken (1999), 24 S.
207.
Bericht
A framework for evaluating the quality of lossy image compression. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.
208.
Bericht
Axioms for real-time logics. Max-Planck-Institut für Informatik, Saarbrücken (1999), 31 S.
209.
Bericht
Fully decidable logics, automata and classical theories for defining regular real-time languages. Max-Planck-Institut für Informatik, Saarbrücken (1999), 102 S.
210.
Bericht
Integration of graph iterators into LEDA. Max-Planck-Institut für Informatik, Saarbrücken (1999), 39 S.
211.
Bericht
How generic language extensions enable ''open-world'' design in Java. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.
212.
Bericht
A deductive model checking approach for hybrid systems. Max-Planck-Institut für Informatik, Saarbrücken (1999), 40 S.
213.
Bericht
Proving a conjecture of Andreka on temporal logic. Max-Planck-Institut für Informatik, Saarbrücken (1999), 13 S.
214.
Bericht
The logic of event clocks. Max-Planck-Institut für Informatik, Saarbrücken (1999), 41 S.
215.
Bericht
Fast concurrent access to parallel disks. Max-Planck-Institut für Informatik, Saarbrücken (1999), 30 S.
216.
Bericht
Ultimate parallel list ranking?. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.
217.
Bericht
New lower bounds for the expressiveness and the higher-order Matching problem in the simply typed lambda calculus. Max-Planck-Institut für Informatik, Saarbrücken (1999), 20 S.
218.
Bericht
Cancellative superposition decides the theory of divisible torsion-free abelian groups. Max-Planck-Institut für Informatik, Saarbrücken (1999), 23 S.
219.
Bericht
Symmetries in logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1999), 44 S.
Sonstige (1)
220.
Sonstige
An Introduction to Analytic Number Theory, (1999)