Zeitschriftenartikel (3189)
3041.
Zeitschriftenartikel
17 (3), S. 342 - 380 (1994)
Dynamic Point Location in General Subdivisions. Journal of Algorithms 3042.
Zeitschriftenartikel
51, S. 101 - 105 (1994)
A lower bound for area-universal graphs. Information Processing Letters 3043.
Zeitschriftenartikel
6 (3), S. 339 - 358 (1994)
Peirce Algebras. Formal Aspects of Computing 3044.
Zeitschriftenartikel
29 (2), S. 73 - 90 (1994)
Towards Automating Duality. Journal of Computers and Mathematics with Applications 3045.
Zeitschriftenartikel
Special issue on algorithms: implementation, libraries and use. Journal on Symbolic Computation 17 (4) (1994)
3046.
Zeitschriftenartikel
18 (2), S. 99 - 122 (1994)
Correctness of unification without occur check in Prolog. Journal of Logic Programming 3047.
Zeitschriftenartikel
23 (6), S. 1253 - 1265 (1994)
Tight Bounds on Oblivious Chaining. SIAM Journal on Computing 3048.
Zeitschriftenartikel
23 (4), S. 738 - 761 (1994)
Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing 3049.
Zeitschriftenartikel
112 (2), S. 239 - 256 (1994)
A Graph Theoretic Approach to Default Logic. Information and Computation 3050.
Zeitschriftenartikel
130 (1), S. 49 - 72 (1994)
Dynamic Scheduling on Parallel Machines. Theoretical Computer Science 3051.
Zeitschriftenartikel
11 (2), S. 104 - 115 (1994)
A Tight Lower Bound for the Worst Case of Bottom-Up-Heapsort. Algorithmica 3052.
Zeitschriftenartikel
14 (2), S. 56 - 60 (1994)
Modeling with Triangular B-splines. IEEE Computer Graphics and Applications 3053.
Zeitschriftenartikel
1 (1), S. 38 - 49 (1994)
Generalized Topological Sorting in Linear Time. Nordic Journal of Computing 3054.
Zeitschriftenartikel
19 & 20, S. 583 - 628 (1994)
The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 3055.
Zeitschriftenartikel
13 (3), S. 305 - 316 (1994)
Visualization of Regular Polytopes in Three and Four Dimensions. Computer Graphics Forum 3056.
Zeitschriftenartikel
23 (2), S. 227 - 246 (1994)
A Linear-time Algorithm for the Homotopic Routing Problem in Grid Graphs. SIAM Journal on Computing 3057.
Zeitschriftenartikel
69 (1/2), S. 205 - 233 (1994)
Problem solving by searching for models with a theorem prover. Artificial Intelligence 3058.
Zeitschriftenartikel
1, S. 217 - 240 (1994)
Use of replace rules in theorem proving. Methods of Logic in Computer Science 3059.
Zeitschriftenartikel
28 (-), S. 25 - 49 (1994)
Using persistent data structures for adding range restrictions to searching problems. RAIRO Theoretical Informatics and Applications 3060.
Zeitschriftenartikel
17, S. 295 - 295 (1994)
Introduction. Journal of Symbolic Computation