( en | de | ru )

 

Disambiguation of "Stickel, E."

Author of the publication

copydeleteadd this publication to your clipboard
On the rate of convergence for two-term recursions.

, , and . Computing, 40 (4): 329-335 (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerhard Stickel

Joachim Stickel

Eberhard Stickel

Elisabeth Stickel

Eva Stickel

 

Other publications of authors with the same name

On the rate of convergence for two-term recursions., , and . Computing, 40 (4): 329-335 (1988)A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.. J. Autom. Reason., 4 (4): 353-380 (1988)A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.. J. Autom. Reason., 3 (3): 285-289 (1987)Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)., , , , , and . Electron. Notes Discret. Math., (2001)An Introduction to Automated Deduction.. Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 75-132. Springer, (1985)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , and . CADE, volume 814 of Lecture Notes in Computer Science, page 341-355. Springer, (1994)Detection and elimination of inference channels in multilevel relational database systems., , , , and . S&P, page 196-205. IEEE Computer Society, (1993)PTTP and Linked Inference.. Automated Reasoning: Essays in Honor of Woody Bledsoe, page 283-296. Kluwer Academic Publishers, (1991)A Prolog-like Inference System for Computing Minimum-Cost Abductive Explanations in Natural Language Interpretations. Technical Note, 451. SRI International, Menlo Park, CA, (September 1988)Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.. J. Autom. Reason., 13 (2): 189-210 (1994)