Scientific Publications

3101.

Journal Article

Eisinger, N.; Ohlbach, H. J.; Präcklein, A.: Reduction Rules for Resolution-based Systems. Artificial Intelligence 50 (2), pp. 141 - 181 (1991)

MPG.PuRe

DOI

3102.

Journal Article

Fong, P.; Seidel, H.-P.: Control Points for Multivariate B-Spline Surfaces over Arbitrary Triangulations. Computer Graphics Forum 10 (4), pp. 309 - 317 (1991)

MPG.PuRe

DOI

3103.

Journal Article

Ganzinger, H.: Order-sorted Completion: The Many-sorted Way. Theoretical computer science 89, pp. 3 - 32 (1991)

MPG.PuRe

3104.

Journal Article

Ganzinger, H.: A Completion Procedure for Conditional Equations. Journal of Symbolic Computation 11 (1-2), pp. 51 - 81 (1991)

MPG.PuRe

DOI

publisher-version

3105.

Journal Article

Hanus, M.: Horn Clause Programs with Polymorphic Types: Semantics and Resolution. Theoretical Computer Science 89 (1), pp. 63 - 106 (1991)

MPG.PuRe

DOI

3106.

Journal Article

Mehlhorn, K.; Meiser, S.; Ó'Dúnlaing, C.: On the construction of abstract Voronoi diagrams. Discrete & Computational Geometry 6, pp. 211 - 224 (1991)

MPG.PuRe

3107.

Journal Article

Mehlhorn, K.; Yap, C.-K.: Constructive Whitney-Graustein Theorem: Or How to Untangle Closed Planar Curves. SIAM Journal on Computing 20 (4), pp. 603 - 621 (1991)

MPG.PuRe

DOI

3108.

Journal Article

Ohlbach, H. J.: Semantics Based Translation Methods for Modal Logics. Journal of Logic and Computation 1 (5), pp. 691 - 746 (1991)

MPG.PuRe

3109.

Journal Article

Seidel, H.-P.: Computing B-spline Control Points Using Polar Forms. Computer Aided Design 23 (9), pp. 634 - 640 (1991)

MPG.PuRe

DOI

3110.

Journal Article

Seidel, H.-P.: On Hermite Interpolation with B-splines. Computer Aided Geometric Design 8 (6), pp. 439 - 441 (1991)

MPG.PuRe

DOI

3111.

Journal Article

Ahuja, R. K.; Mehlhorn, K.; Orlin, J. B.; Tarjan, R. E.: Faster Algorithms for the Shortest Path Problem. Journal of the ACM 37 (2), pp. 213 - 223 (1990)

MPG.PuRe

DOI

3112.

Journal Article

Brahm, U.; Pitz, W.: Parkwächter. C't Magazin für Computer Technik - (3), pp. 252 - 253 (1990)

MPG.PuRe

3113.

Journal Article

Ching, Y.-T.; Mehlhorn, K.; Smid, M. H. M.: Dynamic Deferred Data Structuring. Information Processing Letters 35 (1), pp. 37 - 40 (1990)

MPG.PuRe

DOI

3114.

Journal Article

Hagerup, T.: Planar Depth-First Search in O(log n) Parallel Time. SIAM Journal on Computing 19 (4), pp. 678 - 704 (1990)

MPG.PuRe

DOI

3115.

Journal Article

Hagerup, T.: Optimal Parallel Algorithms on Planar Graphs. Information and Computation 84 (1), pp. 71 - 96 (1990)

MPG.PuRe

DOI

3116.

Journal Article

Hagerup, T.; Rüb, C.: A Guided Tour of Chernoff Bounds. Information Processing Letters 33 (6), pp. 305 - 308 (1990)

MPG.PuRe

DOI

3117.

Journal Article

Hagerup, T.; Shen, H.: Improved Nonconservative Sequential and Parallel Integer Sorting. Information Processing Letters 36 (2), pp. 57 - 63 (1990)

MPG.PuRe

DOI

3118.

Journal Article

Mehlhorn, K.; Näher, S.: Dynamic Fractional Cascading. Algorithmica 5 (2), pp. 215 - 241 (1990)

MPG.PuRe

DOI

3119.

Journal Article

Mehlhorn, K.; Näher, S.: Bounded Ordered Dictionaries in O(log log N) Time and O(n) Space. Information Processing Letters 35 (4), pp. 183 - 189 (1990)

MPG.PuRe

DOI

3120.

Journal Article

Mehlhorn, K.; Näher, S.: A faster compaction algorithm with automatic jog insertion. IEEE Transactions on CAD of Integrated Circuits and Systems 9, pp. 158 - 166 (1990)

MPG.PuRe

Journal Article (3187)

Notification Settings