Robert E. Shostak (shostak)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bledsoe, Woodrow W., Kunen, Kenneth and Shostak, Robert E. 1985. “Completeness Results for Inequality Provers.” Artificial Intelligence 27(3): 255–288.
Pease, M., Shostak, Robert E. and Lamport, Leslie. 1980. “Reaching Agreement in the Presence of Faults.” Journal of the Association for Computing Machinery 27(2): 228–234.
Shostak, Robert E. 1976. “Refutation Graphs.” Artificial Intelligence 7(1): 51–64.