Seminários de Lógica Matemática

21 Julho 2005, 17h15

An arithmetic for polynomial-time computation
Sala B3-01/CMAF

Helmut Schwichtenberg (U. Munique)

Abstract:  

We define a restriction of LHA of Heyting arithmetic HA with the property that all extracted programs are feasible. The restrictions consist in linearity and ramification requirements.

| back