Robert E. Shostak
- Robert E. Shostak. On the
SUP-INF method for proving Presburger formulas. Journal of the
ACM, 24(4):529-543, October 1977.
Citations.
- Robert E. Shostak. A
practical decision procedure for arithmetic with function symbols.
Journal of the ACM, 26(2):351-360, April 1979.
Citations.
- M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence
of faults. Journal of the ACM, 27(2):228-234, April
1980.
Citations.
- Robert Shostak. Deciding
linear inequalities by computing loop residues. Journal of the
ACM, 28(4):769-779, October 1981.
Citations.
- Robert E. Shostak. Deciding
combinations of theories. Journal of the ACM,
31(1):1-12, January 1984.
Citations.
Shortcuts: