Geraint Jones
From MaRDI portal
Person:1330450
Available identifiers
zbMath Open jones.geraintMaRDI QIDQ1330450
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| The under-appreciated unfold | 2019-09-26 | Paper |
| The under-appreciated unfold | 2017-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764147 | 2002-01-22 | Paper |
| Designing arithmetic circuits by refinement in Ruby | 1994-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281671 | 1994-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993115 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3994745 | 1992-09-17 | Paper |
| Formal derivation of a pattern matching algorithm | 1989-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: Geraint Jones
