David Greenaway
From MaRDI portal
Person:331616
Available identifiers
zbMath Open greenaway.davidMaRDI QIDQ331616
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| A learning-based fact selector for Isabelle/HOL | 2016-10-27 | Paper |
| Relative backwardness, absorptive capacity and knowledge spillovers | 2013-01-28 | Paper |
| Bridging the Gap: Automatic Verified Abstraction of C | 2012-09-20 | Paper |
| Catching up or pulling away: intra-industry trade, productivity gaps and heterogeneous firms | 2011-04-01 | Paper |
| Live or let die? alternative routes to industry exit | 2009-08-31 | 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: David Greenaway
