Mutzel, P.; Weiskircher, R.: Optimizing over all combinatorial embeddings of a planar graph. Max-Planck-Institut für Informatik, Saarbrücken (1998), 23 S.

Ramangalahy, S.: Strategies for conformance testing. Max-Planck-Institut für Informatik, Saarbrücken (1998), 24 S.

Rüb, C.: On Wallace's method for the generation of normal variates. Max-Planck-Institut für Informatik, Saarbrücken (1998), 17 S.

Schirra, S.: Robustness and precision issues in geometric computation. Max-Planck-Institut für Informatik, Saarbrücken (1998), 34 S.

Schirra, S.: Parameterized implementations of classical planar convex hull algorithms and extreme point compuations. Max-Planck-Institut für Informatik, Saarbrücken (1998), 93 S.

Schmidt, R. A.: E-unification for subsystems of S4. Max-Planck-Institut für Informatik, Saarbrücken (1998), 30 S.

Sofronie-Stokkermans, V.: Resolution-based Theorem Proving for SHn-Logics. Technische Universität Wien, Vienna, Austria (1998)

Solis-Oba, R.: 2-Approximation algorithm for finding a spanning tree with maximum number of leaves. Max-Planck-Institut für Informatik, Saarbrücken (1998), 16 S.

Tzakova, M.; Blackburn, P.: Hybridizing concept languages. Max-Planck-Institut für Informatik, Saarbrücken (1998), 33 S.

Veanes, M.: The relation between second-order unification and simultaneous rigid \sl E-unification. Max-Planck-Institut für Informatik, Saarbrücken (1998), 26 S.

Vorobyov, S.: The undecidability of the first-order theories of one step rewriting in linear canonical systems. Max-Planck-Institut für Informatik, Saarbrücken (1998), 59 S.

Vorobyov, S.: AE-Equational theory of context unification is Co-RE-Hard. Max-Planck-Institut für Informatik, Saarbrücken (1998), 20 S.

Vorobyov, S.: The most nonelementary theory (a direct lower bound proof). Max-Planck-Institut für Informatik, Saarbrücken (1998), 36 S.

Vorobyov, S.: Satisfiability of Functional+Record Subtype Constraints is NP-Hard. Max-Planck-Institut für Informatik, Saarbrücken (1998), 16 S.

Weydert, E.: Some Notes on Nonmonotonic Probabilistic Inference, (1998)