Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Vogel, Helmut
Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977), p. 81-84 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1977-01-01
EUDML-ID : urn:eudml:doc:137930 
@article{GDZPPN00204479X,
     title = {Ein starker Normalisationssatz f\"ur die bar-rekursiven Funktionale.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {18},
     year = {1977},
     pages = {81-84},
     zbl = {0352.02035},
     url = {http://dml.mathdoc.fr/item/GDZPPN00204479X}
}

Vogel, Helmut. Ein starker Normalisationssatz für die bar-rekursiven Funktionale.. Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977) pp. 81-84. http://gdmltest.u-ga.fr/item/GDZPPN00204479X/