# Robert E. Shostak

According to our database

^{1}, Robert E. Shostak## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

Applying Term Rewriting to Speech Recognition of Numbers.

Proceedings of the Formal Methods and Software Engineering, 2012

1992

Trends in PC Database Technology.

Proceedings of the Personal Computers and Intelligent Systems, 1992

1985

Completeness Results for Inequality Provers.

Artif. Intell., 1985

1984

Deciding Combinations of Theories.

J. ACM, 1984

1982

The Byzantine Generals Problem.

ACM Trans. Program. Lang. Syst., 1982

STP: A Mechanized Logic for Specification and Verification.

Proceedings of the 6th Conference on Automated Deduction, 1982

Deciding Combinations of Theories.

Proceedings of the 6th Conference on Automated Deduction, 1982

1981

Deciding Linear Inequalities by Computing Loop Residues.

J. ACM, 1981

1980

Reaching Agreement in the Presence of Faults.

J. ACM, 1980

Simplifying Interpreted Formulas.

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

A Practical Decision Procedure for Arithmetic with Function Symbols.

J. ACM, 1979

A Prover for General Inequalities.

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

An Algorithm for Reasoning About Equality.

Commun. ACM, 1978

1977

On the SUP-INF Method for Proving Presburger Formulas.

J. ACM, 1977

On the Role of Unification in Mechanical Theorem Proving.

Acta Inf., 1977

An Algorithm for Reasoning About Equality.

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Refutation Graphs.

Artif. Intell., 1976

Primitive Recursive Program Transformations.

Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.

Proceedings of the 2nd International Conference on Software Engineering, 1976

1972

Gossips and telephones.

Discrete Mathematics, 1972