Scientific Publications
Journal Article (15)
1.
Journal Article
37 (4), pp. 237 - 240 (1991)
Computing a Maximum Cardinality Matching in a Bipartite Graph in Time O(n^1.5 sqrt(m/log n)). Information Processing Letters 2.
Journal Article
11 (3), pp. 235 - 250 (1991)
Formally Verified Synthesis of Combinational CMOS Circuits. Integration: The Intern. Journal of VLSI Design 3.
Journal Article
94 (1), pp. 29 - 47 (1991)
Improved Deterministic Parallel Integer Sorting. Information and Computation 4.
Journal Article
6, pp. 128 - 140 (1991)
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Informatik - Forschung und Entwicklung 5.
Journal Article
34 (4), pp. 380 - 381 (1991)
Autodescriptivity: Beware! The Computer Journal 6.
Journal Article
50 (2), pp. 141 - 181 (1991)
Reduction Rules for Resolution-based Systems. Artificial Intelligence 7.
Journal Article
10 (4), pp. 309 - 317 (1991)
Control Points for Multivariate B-Spline Surfaces over Arbitrary Triangulations. Computer Graphics Forum 8.
Journal Article
89, pp. 3 - 32 (1991)
Order-sorted Completion: The Many-sorted Way. Theoretical computer science 9.
Journal Article
11 (1-2), pp. 51 - 81 (1991)
A Completion Procedure for Conditional Equations. Journal of Symbolic Computation 10.
Journal Article
89 (1), pp. 63 - 106 (1991)
Horn Clause Programs with Polymorphic Types: Semantics and Resolution. Theoretical Computer Science 11.
Journal Article
6, pp. 211 - 224 (1991)
On the construction of abstract Voronoi diagrams. Discrete & Computational Geometry 12.
Journal Article
20 (4), pp. 603 - 621 (1991)
Constructive Whitney-Graustein Theorem: Or How to Untangle Closed Planar Curves. SIAM Journal on Computing 13.
Journal Article
1 (5), pp. 691 - 746 (1991)
Semantics Based Translation Methods for Modal Logics. Journal of Logic and Computation 14.
Journal Article
23 (9), pp. 634 - 640 (1991)
Computing B-spline Control Points Using Polar Forms. Computer Aided Design 15.
Journal Article
8 (6), pp. 439 - 441 (1991)
On Hermite Interpolation with B-splines. Computer Aided Geometric Design Book Chapter (2)
16.
Book Chapter
The Boyer-Moore Prover and Nuprl: An Experimental Comparison. In: Logical Frameworks, pp. 90 - 119 (Eds. Huet, G.; Plotkin, G.). Cambridge University Press, Cambridge (1991)
17.
Book Chapter
Universal Splines and Geometric Continuity. In: Curves and Surfaces, pp. 437 - 444 (Eds. Laurent, P.-}.; Le Méhauté, A.; Schumaker, L. L.). Academic Press, San Diego, CA (1991)
Proceedings (1)
18.
Proceedings
Effiziente Algorithmen. Workshop Effiziente Algorithmen, Oberwolfach, Germany, August 04, 1991 - August 10, 1991. Mathematisches Forschungsinstitut, Oberwolfach, Germany (1991), 16 pp.
Conference Paper (16)
19.
Conference Paper
Completion of First-order Clauses with Equality by Strict Superposition. In: Conditional and Typed Rewriting Systems, pp. 162 - 180 (Eds. Kaplan, S.; Okada, M.). International Workshop on Conditional and Typed Rewriting, Montreal, Canada. Springer, Berlin (1991)
20.
Conference Paper
Perfect Model Semantics for Logic Programs with Equality. In: Logic Programming, pp. 645 - 659. Eigth International Conference on Logic Programming, Paris, July 24, 1991 - July 28, 1991. MIT Press, Cambridge, Mass. (1991)