Wissenschaftliche Publikationen
Zeitschriftenartikel (28)
1.
Zeitschriftenartikel
5 (3/4), S. 193 - 212 (1994)
Refutational Theorem Proving for Hierarchic First-Order Theories. Applicable Algebra in Engineering, Communication and Computing (AAECC) 2.
Zeitschriftenartikel
51 (2), S. 61 - 66 (1994)
A Term Equality Problem Equivalent to Graph Isomorphism. Information Processing Letters 3.
Zeitschriftenartikel
17 (3), S. 342 - 380 (1994)
Dynamic Point Location in General Subdivisions. Journal of Algorithms 4.
Zeitschriftenartikel
51, S. 101 - 105 (1994)
A lower bound for area-universal graphs. Information Processing Letters 5.
Zeitschriftenartikel
6 (3), S. 339 - 358 (1994)
Peirce Algebras. Formal Aspects of Computing 6.
Zeitschriftenartikel
29 (2), S. 73 - 90 (1994)
Towards Automating Duality. Journal of Computers and Mathematics with Applications 7.
Zeitschriftenartikel
Special issue on algorithms: implementation, libraries and use. Journal on Symbolic Computation 17 (4) (1994)
8.
Zeitschriftenartikel
18 (2), S. 99 - 122 (1994)
Correctness of unification without occur check in Prolog. Journal of Logic Programming 9.
Zeitschriftenartikel
23 (6), S. 1253 - 1265 (1994)
Tight Bounds on Oblivious Chaining. SIAM Journal on Computing 10.
Zeitschriftenartikel
23 (4), S. 738 - 761 (1994)
Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing 11.
Zeitschriftenartikel
112 (2), S. 239 - 256 (1994)
A Graph Theoretic Approach to Default Logic. Information and Computation 12.
Zeitschriftenartikel
130 (1), S. 49 - 72 (1994)
Dynamic Scheduling on Parallel Machines. Theoretical Computer Science 13.
Zeitschriftenartikel
11 (2), S. 104 - 115 (1994)
A Tight Lower Bound for the Worst Case of Bottom-Up-Heapsort. Algorithmica 14.
Zeitschriftenartikel
14 (2), S. 56 - 60 (1994)
Modeling with Triangular B-splines. IEEE Computer Graphics and Applications 15.
Zeitschriftenartikel
1 (1), S. 38 - 49 (1994)
Generalized Topological Sorting in Linear Time. Nordic Journal of Computing 16.
Zeitschriftenartikel
19 & 20, S. 583 - 628 (1994)
The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 17.
Zeitschriftenartikel
13 (3), S. 305 - 316 (1994)
Visualization of Regular Polytopes in Three and Four Dimensions. Computer Graphics Forum 18.
Zeitschriftenartikel
23 (2), S. 227 - 246 (1994)
A Linear-time Algorithm for the Homotopic Routing Problem in Grid Graphs. SIAM Journal on Computing 19.
Zeitschriftenartikel
69 (1/2), S. 205 - 233 (1994)
Problem solving by searching for models with a theorem prover. Artificial Intelligence 20.
Zeitschriftenartikel
1, S. 217 - 240 (1994)
Use of replace rules in theorem proving. Methods of Logic in Computer Science