Derek C. Oppen
From MaRDI portal
Person:1141137
Available identifiers
zbMath Open oppen.derek-cMaRDI QIDQ1141137
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| The logic of aliasing | 1981-01-01 | Paper |
| Complexity, convexity and combinations of theories | 1980-01-01 | Paper |
| Fast Decision Procedures Based on Congruence Closure | 1980-01-01 | Paper |
| Reasoning About Recursively Defined Data Structures | 1980-01-01 | Paper |
| Simplification by Cooperating Decision Procedures | 1979-01-01 | Paper |
| A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131610 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160375 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063432 | 1973-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: Derek C. Oppen
