Robert Cartwright
From MaRDI portal
Person:672056
Available identifiers
zbMath Open cartwright.robertMaRDI QIDQ672056
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| What is a universal higher-order programming language? | 2019-03-29 | Paper |
| Safe instantiation in Generic Java | 2006-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817009 | 2004-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490731 | 2000-07-20 | Paper |
| Iterative belief revision in extended logic programming | 1997-02-27 | Paper |
| Fully abstract semantics for observably sequential languages | 1994-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016541 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681906 | 1984-01-01 | Paper |
| Recursive Programs as Definitions in First-Order Logic | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939200 | 1982-01-01 | Paper |
| The logic of aliasing | 1981-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 Cartwright
