Wissenschaftliche Publikationen - MPI für Informatik

61.

Bericht

Barnett, R.; Basin, D. A.; Hesketh, J.: A recursion planning analysis of inductive completion. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

MPG.PuRe

Full

62.

Bericht

Barth, P.: CLP(PB) - A Meta-Interpreter in CLP(R). Max-Planck-Institut für Informatik, Saarbrücken (1992), 18 S.

MPG.PuRe

Full

63.

Bericht

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

MPG.PuRe

Full

64.

Bericht

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

MPG.PuRe

Full

65.

Bericht

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

MPG.PuRe

Full

66.

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

67.

Bericht

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

MPG.PuRe

Full

68.

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

69.

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

70.

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

71.

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

72.

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

73.

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

74.

Bericht

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

MPG.PuRe

Full

75.

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

76.

Bericht

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

MPG.PuRe

Full

77.

Bericht

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

MPG.PuRe

Full

78.

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

79.

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

80.

Bericht

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

MPG.PuRe

Full

Bericht (51)

Benachrichtigungs-Einstellungen