Report (66)
141.
Report
Routing and sorting on circular arrays. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 pp.
142.
Report
Deterministic 1-k routing on meshes with applications to worm-hole routing. Max-Planck-Institut für Informatik, Saarbrücken (1993), 13 pp.
143.
Report
MIP-9301). Universität Passau, Passau, Germany (1993), 13 pp.
Deterministic Permutation Routing on Meshes (Universität Passau, Technische Berichte, 144.
Report
An O(n log n) algorithm for finding a k-point subset with minimal L∞-diameter. Max-Planck-Institut für Informatik, Saarbrücken (1993), 17 pp.
145.
Report
Static and dynamic algorithms for k-point clustering problems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 pp.
146.
Report
A refined version of general E-unification. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 pp.
147.
Report
Unification of terms with exponents. Max-Planck-Institut für Informatik, Saarbrücken (1993), 21 pp.
148.
Report
Computing stable models by program transformation. Max-Planck-Institut für Informatik, Saarbrücken (1993), 15 pp.
149.
Report
Unification in sort theories and its applications. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 pp.
Other (1)
150.
Other
A Complete and Efficient Algorithm for the Intersection of a General and a Convex Polyhedron, (1993)