Bericht (40)
181.
Bericht
Interactive Proof Systems. Max-Planck-Institut für Informatik, Saarbrücken (1995), 121 S.
182.
Bericht
On the average running time of odd-even merge sort. Max-Planck-Institut für Informatik, Saarbrücken (1995), 16 S.
183.
Bericht
Overview of mesh results. Max-Planck-Institut für Informatik, Saarbrücken (1995), 22 S.
184.
Bericht
Sample sort on meshes. Max-Planck-Institut für Informatik, Saarbrücken (1995), 14 S.
185.
Bericht
Closest point problems in computational geometry. Max-Planck-Institut für Informatik, Saarbrücken (1995), 62 S.
186.
Bericht
Computing a largest empty anchored cylinder, and related problems. Max-Planck-Institut für Informatik, Saarbrücken (1995), 17 S.
187.
Bericht
Proof normalization and subject reduction in extensions of Fsub. Max-Planck-Institut für Informatik, Saarbrücken (1995), 18 S.
Sonstige (1)
188.
Sonstige
Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination, (1995)