Scientific Publications
Journal Article (13)
1.
Journal Article
8 (5-6), pp. 391 - 408 (1992)
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures. Algorithmica 2.
Journal Article
42 (1), pp. 25 - 27 (1992)
A Lower Bound for the Nondeterministic Space Complexity of Context-free Recognition. Information Processing Letters 3.
Journal Article
23 (2-5), pp. 329 - 342 (1992)
Subsumption Computed Algebraically. Computers & Mathematics with Applications 4.
Journal Article
57 (3), pp. 988 - 991 (1992)
On decidable varieties of Heyting algebras. Journal of Symbolic Logic 5.
Journal Article
8 (5-6), pp. 365 - 389 (1992)
Simultaneous Inner and Outer Approximation of Shapes. Algorithmica 6.
Journal Article
7, pp. 35 - 43 (1992)
Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal 7.
Journal Article
43 (6), pp. 335 - 340 (1992)
On a Compaction Theorem of Ragde. Information Processing Letters 8.
Journal Article
8 (4), pp. 379 - 393 (1992)
FORK: A High-level Language for PRAMs. Future Generation Computer Systems 9.
Journal Article
55 (1), pp. 33 - 72 (1992)
On Local Routing of Two-terminal Nets. Journal of Combinatorial Theory. Series B 10.
Journal Article
101 (1), pp. 123 - 129 (1992)
k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs. Information and Computation 11.
Journal Article
3, pp. 34 - 38 (1992)
Logic Engineering: Konstruktion von Logiken. KI 12.
Journal Article
7, pp. 415 - 431 (1992)
Maintaining the Minimal Distance of a Point Set in Polylogarithmic Time. Discrete & Computational Geometry 13.
Journal Article
94 (1), pp. 1 - 35 (1992)
Semantics of Order-Sorted Specifications. Theoretical Computer Science Book Chapter (6)
14.
Book Chapter
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
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
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
Logic Programming with Type Specifications. In: Types in Logic Programming, pp. 91 - 140 (Ed. Pfenning, F.). MIT Press, Cambridge, USA (1992)
18.
Book Chapter
1, pp. 283 - 308 (Eds. Buchmann, J.; Ganzinger, H.; Paul, W. J.). Teubner, Stuttgart, Germany (1992)
Randomized incremental construction of abstract Voronoi diagrams. In: Informatik---Festschrift zum 60.~Geburtstag von Günter Hotz, Vol. 19.
Book Chapter
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
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)