Available identifiers
zbMath Open shostak.robert-eMaRDI QIDQ1225468
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| The Byzantine generals problem | 2020-11-10 | Paper |
| Deciding Combinations of Theories | 1984-01-01 | Paper |
| The Byzantine Generals Problem | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939267 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939272 | 1982-01-01 | Paper |
| Deciding Linear Inequalities by Computing Loop Residues | 1981-01-01 | Paper |
| Reaching Agreement in the Presence of Faults | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880324 | 1980-01-01 | Paper |
| A Practical Decision Procedure for Arithmetic with Function Symbols | 1979-01-01 | Paper |
| An algorithm for reasoning about equality | 1978-01-01 | Paper |
| On the SUP-INF Method for Proving Presburger Formulas | 1977-01-01 | Paper |
| On the role of unification in mechanical theorem proving | 1977-01-01 | Paper |
| Refutation graphs | 1976-01-01 | Paper |
| Gossips and telephones | 1972-01-01 | Paper |
Research outcomes over time
This page was built for person: Robert E. Shostak
