Back to Search
Start Over
Strong normalization of barrecursive terms without using infinite terms.
- Source :
- Bezem, Marc: Archiv für mathematische Logik und Grundlagenforschung. 25 1985
Details
- Database :
- OAIster
- Journal :
- Bezem, Marc: Archiv für mathematische Logik und Grundlagenforschung. 25 1985
- Notes :
- image/jpeg, application/pdf, German
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.ocn953348304
- Document Type :
- Electronic Resource