Wissenschaftliche Publikationen

Alt, H.; Fleischer, R.; Kaufmann, M.; Mehlhorn, K.; Näher, S.; Schirra, S.; Uhrig, C.: Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures. Algorithmica 8 (5-6), S. 391 - 408 (1992)

Alt, H.; Geffert, V.; Mehlhorn, K.: A Lower Bound for the Nondeterministic Space Complexity of Context-free Recognition. Information Processing Letters 42 (1), S. 25 - 27 (1992)

Brink, C.; Schmidt, R. A.: Subsumption Computed Algebraically. Computers & Mathematics with Applications 23 (2-5), S. 329 - 342 (1992)

Dubhashi, D. P.: On decidable varieties of Heyting algebras. Journal of Symbolic Logic 57 (3), S. 988 - 991 (1992)

Fleischer, R.; Mehlhorn, K.; Rote, G.; Welzl, E.; Yap, C.-K.: Simultaneous Inner and Outer Approximation of Shapes. Algorithmica 8 (5-6), S. 365 - 389 (1992)

Gabbay, D. M.; Ohlbach, H. J.: Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal 7, S. 35 - 43 (1992)

Hagerup, T.: On a Compaction Theorem of Ragde. Information Processing Letters 43 (6), S. 335 - 340 (1992)

Hagerup, T.; Schmitt, A.; Seidl, H.: FORK: A High-level Language for PRAMs. Future Generation Computer Systems 8 (4), S. 379 - 393 (1992)

Kaufmann, M.; Mehlhorn, K.: On Local Routing of Two-terminal Nets. Journal of Combinatorial Theory. Series B 55 (1), S. 33 - 72 (1992)

Mehlhorn, K.; Paul, W. J.; Uhrig, C.: k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs. Information and Computation 101 (1), S. 123 - 129 (1992)

Ohlbach, H. J.: Logic Engineering: Konstruktion von Logiken. KI 3, S. 34 - 38 (1992)

Smid, M.: Maintaining the Minimal Distance of a Point Set in Polylogarithmic Time. Discrete & Computational Geometry 7, S. 415 - 431 (1992)

Waldmann, U.: Semantics of Order-Sorted Specifications. Theoretical Computer Science 94 (1), S. 1 - 35 (1992)

Eisinger, N.; Nonnengart, A.; Präcklein, A.: Termersetzungssysteme. In: Deduktionssysteme -- Automatisierung des logischen Denkens, S. 126 - 149 (Hg. Bläsius, K.H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)

Fleischer, R.; Fries, O.; Mehlhorn, K.; Meiser, S.; Näher, S.; Rohnert, H.; Schirra, S.; Simon, K.; Tsakalidis, A.; Uhrig, C.: Selected Topics from Computational Geometry, Data Structures and Motion Planning. In: Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative, S. 25 - 43 (Hg. Monien, B.; Ottmann, T.). Springer, Berlin, Germany (1992)

Ganzinger, H.; Stuber, J.: Inductive Theorem Proving by Consistency for First‐order Clauses. In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, S. 441 - 462 (Hg. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Wiesbaden (1992)

Hanus, M.: Logic Programming with Type Specifications. In: Types in Logic Programming, S. 91 - 140 (Hg. Pfenning, F.). MIT Press, Cambridge, USA (1992)

Klein, R.; Mehlhorn, K.; Meiser, S.: Randomized incremental construction of abstract Voronoi diagrams. In: Informatik---Festschrift zum 60.~Geburtstag von Günter Hotz, Bd. 1, S. 283 - 308 (Hg. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Stuttgart, Germany (1992)

Nonnengart, A.; Ohlbach, H. J.: Modal- und Temporallogik. In: Deduktionssysteme - Automatisierung des logischen Denkens, S. 239 - 284 (Hg. Bläsius, K. H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)

Bachmair, L.; Ganzinger, H.: Non‐clausal Resolution and Superposition with Selection and Redundancy Criteria. In: Logic Programming and Automated Reasoning, S. 273 - 284 (Hg. Voronkov, A.). International Conference on Logic Programming and Automated Reasoning, Petersburg, Russia, 15. Juli 1992 - 20. Juli 1992. Springer, Berlin (1992)