Stephen J. Garland
From MaRDI portal
Person:1393936
Available identifiers
zbMath Open garland.stephen-jMaRDI QIDQ1393936
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| An overview of LP, the Larch Prover | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422092 | 2003-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414396 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264739 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028317 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146243 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081255 | 1974-01-01 | Paper |
| Program schemes, recursion schemes, and formal languages | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160378 | 1972-01-01 | Paper |
| Generalized interpolation theorems | 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: Stephen J. Garland
