52

Elementary explicit types and polynomial time operations

Year:
2009
Language:
english
File:
PDF, 153 KB
english, 2009
53

Realisability in weak systems of explicit mathematics

Year:
2011
Language:
english
File:
PDF, 186 KB
english, 2011
56

Recording and processing stem images

Year:
1969
Language:
english
File:
PDF, 133 KB
english, 1969
57

Reflections on reflections in explicit mathematics

Year:
2005
Language:
english
File:
PDF, 234 KB
english, 2005
63

A proof-theoretic characterization of the basic feasible functionals

Year:
2004
Language:
english
File:
PDF, 282 KB
english, 2004
64

Non-intrusive plasma diagnostics for the deposition of large area thin film silicon

Year:
2009
Language:
english
File:
PDF, 361 KB
english, 2009
70

The non-constructive μ operator, fixed point theories with ordinals, and the bar rule

Year:
2000
Language:
english
File:
PDF, 149 KB
english, 2000
71

The unfolding of non-finitist arithmetic

Year:
2000
Language:
english
File:
PDF, 165 KB
english, 2000
72

Systems of explicit mathematics with non-constructive μ-operator and join

Year:
1996
Language:
english
File:
PDF, 1.66 MB
english, 1996
73

Bar induction and ω model reflection

Year:
1999
Language:
english
File:
PDF, 634 KB
english, 1999
80

Admissible closures of polynomial time computable arithmetic

Year:
2011
Language:
english
File:
PDF, 253 KB
english, 2011
83

Laser applications in thin-film photovoltaics

Year:
2010
Language:
english
File:
PDF, 360 KB
english, 2010
95

Introduction

Year:
2008
Language:
english
File:
PDF, 37 KB
english, 2008