Zeitschriftenartikel (3187)
3081.
Zeitschriftenartikel
13 (1), S. 38 - 46 (1993)
An Introduction to Polar Forms. IEEE Computer Graphics and Applications 3082.
Zeitschriftenartikel
12 (1), S. 1 - 34 (1993)
Polar Forms for Geometrically Continuous Spline Curves of Arbitrary Degree. ACM Transactions on Graphics 3083.
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 3084.
Zeitschriftenartikel
42 (1), S. 25 - 27 (1992)
A Lower Bound for the Nondeterministic Space Complexity of Context-free Recognition. Information Processing Letters 3085.
Zeitschriftenartikel
23 (2-5), S. 329 - 342 (1992)
Subsumption Computed Algebraically. Computers & Mathematics with Applications 3086.
Zeitschriftenartikel
57 (3), S. 988 - 991 (1992)
On decidable varieties of Heyting algebras. Journal of Symbolic Logic 3087.
Zeitschriftenartikel
8 (5-6), S. 365 - 389 (1992)
Simultaneous Inner and Outer Approximation of Shapes. Algorithmica 3088.
Zeitschriftenartikel
7, S. 35 - 43 (1992)
Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal 3089.
Zeitschriftenartikel
43 (6), S. 335 - 340 (1992)
On a Compaction Theorem of Ragde. Information Processing Letters 3090.
Zeitschriftenartikel
8 (4), S. 379 - 393 (1992)
FORK: A High-level Language for PRAMs. Future Generation Computer Systems 3091.
Zeitschriftenartikel
55 (1), S. 33 - 72 (1992)
On Local Routing of Two-terminal Nets. Journal of Combinatorial Theory. Series B 3092.
Zeitschriftenartikel
101 (1), S. 123 - 129 (1992)
k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs. Information and Computation 3093.
Zeitschriftenartikel
3, S. 34 - 38 (1992)
Logic Engineering: Konstruktion von Logiken. KI 3094.
Zeitschriftenartikel
7, S. 415 - 431 (1992)
Maintaining the Minimal Distance of a Point Set in Polylogarithmic Time. Discrete & Computational Geometry 3095.
Zeitschriftenartikel
94 (1), S. 1 - 35 (1992)
Semantics of Order-Sorted Specifications. Theoretical Computer Science 3096.
Zeitschriftenartikel
37 (4), S. 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 3097.
Zeitschriftenartikel
11 (3), S. 235 - 250 (1991)
Formally Verified Synthesis of Combinational CMOS Circuits. Integration: The Intern. Journal of VLSI Design 3098.
Zeitschriftenartikel
94 (1), S. 29 - 47 (1991)
Improved Deterministic Parallel Integer Sorting. Information and Computation 3099.
Zeitschriftenartikel
6, S. 128 - 140 (1991)
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Informatik - Forschung und Entwicklung 3100.
Zeitschriftenartikel
34 (4), S. 380 - 381 (1991)
Autodescriptivity: Beware! The Computer Journal