Zeitschriftenartikel (3187)
3101.
Zeitschriftenartikel
50 (2), S. 141 - 181 (1991)
Reduction Rules for Resolution-based Systems. Artificial Intelligence 3102.
Zeitschriftenartikel
10 (4), S. 309 - 317 (1991)
Control Points for Multivariate B-Spline Surfaces over Arbitrary Triangulations. Computer Graphics Forum 3103.
Zeitschriftenartikel
89, S. 3 - 32 (1991)
Order-sorted Completion: The Many-sorted Way. Theoretical computer science 3104.
Zeitschriftenartikel
11 (1-2), S. 51 - 81 (1991)
A Completion Procedure for Conditional Equations. Journal of Symbolic Computation 3105.
Zeitschriftenartikel
89 (1), S. 63 - 106 (1991)
Horn Clause Programs with Polymorphic Types: Semantics and Resolution. Theoretical Computer Science 3106.
Zeitschriftenartikel
6, S. 211 - 224 (1991)
On the construction of abstract Voronoi diagrams. Discrete & Computational Geometry 3107.
Zeitschriftenartikel
20 (4), S. 603 - 621 (1991)
Constructive Whitney-Graustein Theorem: Or How to Untangle Closed Planar Curves. SIAM Journal on Computing 3108.
Zeitschriftenartikel
1 (5), S. 691 - 746 (1991)
Semantics Based Translation Methods for Modal Logics. Journal of Logic and Computation 3109.
Zeitschriftenartikel
23 (9), S. 634 - 640 (1991)
Computing B-spline Control Points Using Polar Forms. Computer Aided Design 3110.
Zeitschriftenartikel
8 (6), S. 439 - 441 (1991)
On Hermite Interpolation with B-splines. Computer Aided Geometric Design 3111.
Zeitschriftenartikel
37 (2), S. 213 - 223 (1990)
Faster Algorithms for the Shortest Path Problem. Journal of the ACM 3112.
Zeitschriftenartikel
- (3), S. 252 - 253 (1990)
Parkwächter. C't Magazin für Computer Technik 3113.
Zeitschriftenartikel
35 (1), S. 37 - 40 (1990)
Dynamic Deferred Data Structuring. Information Processing Letters 3114.
Zeitschriftenartikel
19 (4), S. 678 - 704 (1990)
Planar Depth-First Search in O(log n) Parallel Time. SIAM Journal on Computing 3115.
Zeitschriftenartikel
84 (1), S. 71 - 96 (1990)
Optimal Parallel Algorithms on Planar Graphs. Information and Computation 3116.
Zeitschriftenartikel
33 (6), S. 305 - 308 (1990)
A Guided Tour of Chernoff Bounds. Information Processing Letters 3117.
Zeitschriftenartikel
36 (2), S. 57 - 63 (1990)
Improved Nonconservative Sequential and Parallel Integer Sorting. Information Processing Letters 3118.
Zeitschriftenartikel
5 (2), S. 215 - 241 (1990)
Dynamic Fractional Cascading. Algorithmica 3119.
Zeitschriftenartikel
35 (4), S. 183 - 189 (1990)
Bounded Ordered Dictionaries in O(log log N) Time and O(n) Space. Information Processing Letters 3120.
Zeitschriftenartikel
9, S. 158 - 166 (1990)
A faster compaction algorithm with automatic jog insertion. IEEE Transactions on CAD of Integrated Circuits and Systems