Report (40)
201.
Report
Faster deterministic sorting and priority queues in linear space. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 pp.
202.
Report
Third-order matching in $\lambda\rightarrow$-Curry is undecidable. Max-Planck-Institut für Informatik, Saarbrücken (1997), 17 pp.
203.
Report
Complexity of nonrecursive logic programs with complex values. Max-Planck-Institut für Informatik, Saarbrücken (1997), 46 pp.
204.
Report
Bicriteria job sequencing with release dates. Max-Planck-Institut für Informatik, Saarbrücken (1997), 18 pp.