|
Search the dblp DataBase
Mircea-Dan Hernest:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mircea-Dan Hernest
Light Functional Interpretation. [Citation Graph (0, 0)][DBLP] CSL, 2005, pp:477-492 [Conf]
- Mircea-Dan Hernest
Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:141-149 [Journal]
- Mircea-Dan Hernest, Ulrich Kohlenbach
A complexity analysis of functional interpretations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:338, n:1-3, pp:200-246 [Journal]
- Mircea-Dan Hernest
Light Dialectica Program Extraction from a Classical Fibonacci Proof. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:171, n:3, pp:43-53 [Journal]
Hybrid Functional Interpretations. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|