Wissenschaftliche Publikationen
Zeitschriftenartikel (13)
1.
Zeitschriftenartikel
8 (5-6), S. 391 - 408 (1992)
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures. Algorithmica 2.
Zeitschriftenartikel
42 (1), S. 25 - 27 (1992)
A Lower Bound for the Nondeterministic Space Complexity of Context-free Recognition. Information Processing Letters 3.
Zeitschriftenartikel
23 (2-5), S. 329 - 342 (1992)
Subsumption Computed Algebraically. Computers & Mathematics with Applications 4.
Zeitschriftenartikel
57 (3), S. 988 - 991 (1992)
On decidable varieties of Heyting algebras. Journal of Symbolic Logic 5.
Zeitschriftenartikel
8 (5-6), S. 365 - 389 (1992)
Simultaneous Inner and Outer Approximation of Shapes. Algorithmica 6.
Zeitschriftenartikel
7, S. 35 - 43 (1992)
Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal 7.
Zeitschriftenartikel
43 (6), S. 335 - 340 (1992)
On a Compaction Theorem of Ragde. Information Processing Letters 8.
Zeitschriftenartikel
8 (4), S. 379 - 393 (1992)
FORK: A High-level Language for PRAMs. Future Generation Computer Systems 9.
Zeitschriftenartikel
55 (1), S. 33 - 72 (1992)
On Local Routing of Two-terminal Nets. Journal of Combinatorial Theory. Series B 10.
Zeitschriftenartikel
101 (1), S. 123 - 129 (1992)
k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs. Information and Computation 11.
Zeitschriftenartikel
3, S. 34 - 38 (1992)
Logic Engineering: Konstruktion von Logiken. KI 12.
Zeitschriftenartikel
7, S. 415 - 431 (1992)
Maintaining the Minimal Distance of a Point Set in Polylogarithmic Time. Discrete & Computational Geometry 13.
Zeitschriftenartikel
94 (1), S. 1 - 35 (1992)
Semantics of Order-Sorted Specifications. Theoretical Computer Science Buchkapitel (6)
14.
Buchkapitel
Termersetzungssysteme. In: Deduktionssysteme -- Automatisierung des logischen Denkens, S. 126 - 149 (Hg. Bläsius, K.H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)
15.
Buchkapitel
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)
16.
Buchkapitel
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)
17.
Buchkapitel
Logic Programming with Type Specifications. In: Types in Logic Programming, S. 91 - 140 (Hg. Pfenning, F.). MIT Press, Cambridge, USA (1992)
18.
Buchkapitel
1, S. 283 - 308 (Hg. 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, Bd. 19.
Buchkapitel
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)
Konferenzbeitrag (38)
20.
Konferenzbeitrag
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)