An enumeration of the primitive recursive functions without repetition
From MaRDI portal
(Redirected from Publication:775448)
Cites work
- scientific article; zbMATH DE number 3066801 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Recursive Predicates and Quantifiers
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
Cited in
(4)
This page was built for publication: An enumeration of the primitive recursive functions without repetition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q775448)