| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 7 |      | Mircea-Dan Hernest, Trifon Trifonov: Light Dialectica revisited. Ann. Pure Appl. Logic 161(11): 1379-1389 (2010) |
| 2009 | ||
| 6 | | Mircea-Dan Hernest: Light monotone Dialectica methods for proof mining. Math. Log. Q. 55(5): 551-561 (2009) |
| 2008 | ||
| 5 | | Mircea-Dan Hernest, Paulo Oliva: Hybrid Functional Interpretations. CiE 2008: 251-260 |
| 2007 | ||
| 4 | | Mircea-Dan Hernest: Light Dialectica Program Extraction from a Classical Fibonacci Proof. Electr. Notes Theor. Comput. Sci. 171(3): 43-53 (2007) |
| 3 | | Mircea-Dan Hernest: Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. Electr. Notes Theor. Comput. Sci. 174(5): 141-149 (2007) |
| 2005 | ||
| 2 | | Mircea-Dan Hernest: Light Functional Interpretation. CSL 2005: 477-492 |
| 1 | | Mircea-Dan Hernest, Ulrich Kohlenbach: A complexity analysis of functional interpretations. Theor. Comput. Sci. 338(1-3): 200-246 (2005) |
| 1 | Ulrich Kohlenbach | [1] |
| 2 | Paulo Oliva | [5] |
| 3 | Trifon Trifonov | [7] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page