Hugo Férée

Available identifiers

zbMath Open feree.hugoMaRDI QIDQ2346990

List of research outcomes

Publication	Date of Publication	Type
On the query complexity of real functionals	2017-07-03	Paper
Game semantics approach to higher-order complexity	2017-05-24	Paper
On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$	2016-05-25	Paper
Characterizing polynomial time complexity of stream programs using interpretations	2015-05-26	Paper
Analytical properties of resource-bounded real functionals	2014-07-31	Paper
Interpretation of stream programs: characterizing type 2 polynomial time complexity	2010-12-09	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL	N/A	Paper

Research outcomes over time

This page was built for person: Hugo Férée