Complexity, convexity and combinations of theories

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

Computing, Computer Science, Decision Theory +16

Variations on the Common Subexpression Problem

Peter J. Downey, Ravi Sethi, Robert E. Tarjan · Journal of the ACM · 1980 · 350 citations · Full text

Computing, Computer Science, Algorithms +5

W. Ackermann. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, VIII + 114 pp.

Paul Bernays · Journal of Symbolic Logic · 1957 · 284 citations

Business, Mathematics, Decision Theory +6

Bounds on positive integral solutions of linear Diophantine equations

I. Borosh, L. B. Treybig · Proceedings of the American Mathematical Society · 1976 · 208 citations · Full text

Natural Sciences, Mathematics, Algorithms +6

A Practical Decision Procedure for Arithmetic with Function Symbols

Robert E. Shostak · Journal of the ACM · 1979 · 171 citations · Full text

Natural Sciences, Computer Science, Mathematics +6