Scientific Publications

Journal Article (13)

1.
Journal Article
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), pp. 391 - 408 (1992)
2.
Journal Article
Alt, H.; Geffert, V.; Mehlhorn, K.: A Lower Bound for the Nondeterministic Space Complexity of Context-free Recognition. Information Processing Letters 42 (1), pp. 25 - 27 (1992)
3.
Journal Article
Brink, C.; Schmidt, R. A.: Subsumption Computed Algebraically. Computers & Mathematics with Applications 23 (2-5), pp. 329 - 342 (1992)
4.
Journal Article
Dubhashi, D. P.: On decidable varieties of Heyting algebras. Journal of Symbolic Logic 57 (3), pp. 988 - 991 (1992)
5.
Journal Article
Fleischer, R.; Mehlhorn, K.; Rote, G.; Welzl, E.; Yap, C.-K.: Simultaneous Inner and Outer Approximation of Shapes. Algorithmica 8 (5-6), pp. 365 - 389 (1992)
6.
Journal Article
Gabbay, D. M.; Ohlbach, H. J.: Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal 7, pp. 35 - 43 (1992)
7.
Journal Article
Hagerup, T.: On a Compaction Theorem of Ragde. Information Processing Letters 43 (6), pp. 335 - 340 (1992)
8.
Journal Article
Hagerup, T.; Schmitt, A.; Seidl, H.: FORK: A High-level Language for PRAMs. Future Generation Computer Systems 8 (4), pp. 379 - 393 (1992)
9.
Journal Article
Kaufmann, M.; Mehlhorn, K.: On Local Routing of Two-terminal Nets. Journal of Combinatorial Theory. Series B 55 (1), pp. 33 - 72 (1992)
10.
Journal Article
Mehlhorn, K.; Paul, W. J.; Uhrig, C.: k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs. Information and Computation 101 (1), pp. 123 - 129 (1992)
11.
Journal Article
Ohlbach, H. J.: Logic Engineering: Konstruktion von Logiken. KI 3, pp. 34 - 38 (1992)
12.
Journal Article
Smid, M.: Maintaining the Minimal Distance of a Point Set in Polylogarithmic Time. Discrete & Computational Geometry 7, pp. 415 - 431 (1992)
13.
Journal Article
Waldmann, U.: Semantics of Order-Sorted Specifications. Theoretical Computer Science 94 (1), pp. 1 - 35 (1992)

Book Chapter (6)

14.
Book Chapter
Eisinger, N.; Nonnengart, A.; Präcklein, A.: Termersetzungssysteme. In: Deduktionssysteme -- Automatisierung des logischen Denkens, pp. 126 - 149 (Eds. Bläsius, K.H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)
15.
Book Chapter
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, pp. 25 - 43 (Eds. Monien, B.; Ottmann, T.). Springer, Berlin, Germany (1992)
16.
Book Chapter
Ganzinger, H.; Stuber, J.: Inductive Theorem Proving by Consistency for First‐order Clauses. In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, pp. 441 - 462 (Eds. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Wiesbaden (1992)
17.
Book Chapter
Hanus, M.: Logic Programming with Type Specifications. In: Types in Logic Programming, pp. 91 - 140 (Ed. Pfenning, F.). MIT Press, Cambridge, USA (1992)
18.
Book Chapter
Klein, R.; Mehlhorn, K.; Meiser, S.: Randomized incremental construction of abstract Voronoi diagrams. In: Informatik---Festschrift zum 60.~Geburtstag von Günter Hotz, Vol. 1, pp. 283 - 308 (Eds. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Stuttgart, Germany (1992)
19.
Book Chapter
Nonnengart, A.; Ohlbach, H. J.: Modal- und Temporallogik. In: Deduktionssysteme - Automatisierung des logischen Denkens, pp. 239 - 284 (Eds. Bläsius, K. H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)

Conference Paper (38)

20.
Conference Paper
Bachmair, L.; Ganzinger, H.: Non‐clausal Resolution and Superposition with Selection and Redundancy Criteria. In: Logic Programming and Automated Reasoning, pp. 273 - 284 (Ed. Voronkov, A.). International Conference on Logic Programming and Automated Reasoning, Petersburg, Russia, July 15, 1992 - July 20, 1992. Springer, Berlin (1992)
Go to Editor View