Wissenschaftliche Publikationen - MPI für Informatik

11741.

Bericht

Basin, D.; Constable, R. L.: Metalogical frameworks. Max-Planck-Institut für Informatik, Saarbrücken (1992), 20 S.

MPG.PuRe

Full

11742.

Bericht

Basin, D.; Walsh, T.: Difference matching. Max-Planck-Institut für Informatik, Saarbrücken (1992), 12 S.

MPG.PuRe

Full

11743.

Bericht

Basin, D.; Wash, T.: Difference unification. Max-Planck-Institut für Informatik, Saarbrücken (1992), 15 S.

MPG.PuRe

Full

11744.

Bericht

Baumgarten, H.; Jung, H.; Mehlhorn, K.: Dynamic point location in general subdivisions. Max-Planck-Institut für Informatik, Saarbrücken (1992), 30 S.

MPG.PuRe

Full

11745.

Bericht

Brink, C.; Britz, K.; Schmidt, R. A.: Peirce algebras. Max-Planck-Institut für Informatik, Saarbrücken (1992), 22 S.

MPG.PuRe

Full

11746.

Bericht

Clarkson, K. L.; Mehlhorn, K.: Four results on randomized incremental constructions. Max-Planck-Institut für Informatik, Saarbrücken (1992), 21 S.

MPG.PuRe

Full

11747.

Bericht

Fleischer, R.: A new lower bound technique for decision trees. Max-Planck-Institut für Informatik, Saarbrücken (1992), 21 S.

MPG.PuRe

publisher-version

11748.

Bericht

Fleischer, R.: A simple balanced search tree with 0(1) worst-case update time. Max-Planck-Institut für Informatik, Saarbrücken (1992), 10 S.

MPG.PuRe

Full

11749.

Bericht

Gabbay, D. M.; Ohlbach, H. J.: Quantifier Elimination in Second-order Predicate Logic. Max-Planck-Institut für Informatik, Saarbrücken (1992), 18 S.

MPG.PuRe

Full

11750.

Bericht

Ganzinger, H.; Bachmair, L.; Waldmann, U.: Set constraints are the Monadic class. Max-Planck-Institut für Informatik, Saarbrücken (1992), 13 S.

MPG.PuRe

Full

11751.

Bericht

Golin, M. J.; Raman, R.; Schwarz, C.; Smid, M.: Simple randomized algorithms for closest pair problems. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

MPG.PuRe

Full

11752.

Bericht

Graf, P.: Path indexing for term retrieval. Max-Planck-Institut für Informatik, Saarbrücken (1992), 12 S.

MPG.PuRe

Full

11753.

Bericht

Grolmusz, V.: Separating the communication complexities of MOD m and MOD p circuits. Max-Planck-Institut für Informatik, Saarbrücken (1992), 16 S.

MPG.PuRe

Full

11754.

Bericht

Grolmusz, V.: Circuits and multi-party protocols. Max-Planck-Institut für Informatik, Saarbrücken (1992), 16 S.

MPG.PuRe

Full

11755.

Bericht

Hagerup, T.: Fast deterministic processor allocation. Max-Planck-Institut für Informatik, Saarbrücken (1992), 11 S.

MPG.PuRe

Full

11756.

Bericht

Hagerup, T.; Kutylowski, M.: Fast integer merging on the EREW PRAM. Max-Planck-Institut für Informatik, Saarbrücken (1992), 12 S.

MPG.PuRe

Full

11757.

Bericht

Hagerup, T.; Raman, R.: Waste makes haste: tight bounds for loose parallel sorting. Max-Planck-Institut für Informatik, Saarbrücken (1992), 185 S.

MPG.PuRe

Full

11758.

Bericht

Hanus, M.: Analysis of nonlinear constraints in CLP(R). Max-Planck-Institut für Informatik, Saarbrücken (1992), 31 S.

MPG.PuRe

Full

11759.

Bericht

Hanus, M.: An abstract interpretation algorithm for residuating logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1992), 20 S.

MPG.PuRe

Full

11760.

Bericht

Hustadt, U.: Unification and matching in Church's Original Lambda Calculus. Max-Planck-Institut für Informatik, Saarbrücken (1992), 16 S.

MPG.PuRe

Full

Bericht (717)

Benachrichtigungs-Einstellungen