Hugo Férée
From MaRDI portal
Person:2346990
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 |
|---|---|---|
| On the query complexity of real functionals 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Game semantics approach to higher-order complexity Journal of Computer and System Sciences | 2017-05-24 | Paper |
| On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1$$] Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
| Characterizing polynomial time complexity of stream programs using interpretations Theoretical Computer Science | 2015-05-26 | Paper |
| Analytical properties of resource-bounded real functionals Journal of Complexity | 2014-07-31 | Paper |
| Interpretation of stream programs: characterizing type 2 polynomial time complexity Algorithms and Computation | 2010-12-09 | Paper |
| Mechanised uniform interpolation for modal logics K, GL, and iSL (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Hugo Férée
