Amortised Resource Analysis and Typed Polynomial Interpretations
Work
Year: 2014
Type: book-chapter
Authors Martin Hofmann, Georg Moser
Cites: 26
Cited by: 20
Related to: 10
FWCI: 3.642
Citation percentile (by year/subfield): 89.71
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Decent work and economic growth
Open Access status: closed