An enumeration of the primitive recursive functions without repetition
type: Item
instance of: scholarly article
title: An enumeration of the primitive recursive functions without repetition
zbMATH Open document ID: 0106.00601
author: Shih-Chao Liu
published in: Tôhoku Mathematical Journal. Second Series
publication date: 1960-01-01T00:00:00Z
zbMATH DE Number: 3172710
zbMATH Keywords: logics, foundations, philosophy
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2748/tmj/1178244403
OpenAlex ID: W2162634125
cites work: Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
cites work: Recursive Predicates and Quantifiers
cites work: Q5805955
cites work: Q5812175
DOI: 10.2748/TMJ/1178244403
description: scientific article; zbMATH DE number 3172710