Robert E. Shostak
From MaRDI portal
Person:1225468
Available identifiers
zbMath Open shostak.robert-eMaRDI QIDQ1225468
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| The Byzantine generals problem | 2020-11-10 | Paper |
| Deciding Combinations of Theories | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939267 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939272 | 1982-01-01 | Paper |
| The Byzantine Generals Problem | 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 role of unification in mechanical theorem proving | 1977-01-01 | Paper |
| On the SUP-INF Method for Proving Presburger Formulas | 1977-01-01 | Paper |
| Refutation graphs | 1976-01-01 | Paper |
| Gossips and telephones | 1972-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Robert E. Shostak
