Strong normalization of barrecursive terms without using infinite terms.
Bezem, Marc
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), p. 175-182 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1985-01-01
EUDML-ID : urn:eudml:doc:138047 
@article{GDZPPN002045966,
     title = {Strong normalization of barrecursive terms without using infinite terms.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {25},
     year = {1985},
     pages = {175-182},
     zbl = {0603.03017},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045966}
}

Bezem, Marc. Strong normalization of barrecursive terms without using infinite terms.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985) pp. 175-182. http://gdmltest.u-ga.fr/item/GDZPPN002045966/