D. Greenaway

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
New concepts and measures of the globalisation of production	2001-08-20	Paper

Research outcomes over time

This page was built for person: D. Greenaway