Geraint Jones
From MaRDI portal
Person:1330450
Available identifiers
zbMath Open jones.geraintMaRDI QIDQ1330450
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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
This page was built for person: Geraint Jones
