Rudimentary relations and primitive recursion: A toolbox
type: Item
instance of: scholarly article
title: Rudimentary relations and primitive recursion: A toolbox
zbMATH Open document ID: 0896.03031
DOI: 10.1016/S0304-3975(97)00002-9
author: Henri-Alex Esbelin
author: Malika More
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 1189765
zbMATH Keywords: rudimentary relations
zbMATH Keywords: counting
zbMATH Keywords: primitive recursion
zbMATH Keywords: coding
MaRDI profile type: Publication
cites work: Expectations for Inbreeding Depression on Self-Fertilization of Tetraploids
cites work: Overspill and fragments of arithmetic
cites work: Q4317319
cites work: Q5824357
cites work: Small Grzegorczyk classes and limited minimum
cites work: Context-free languages and rudimentary attributes
cites work: Q4142699
cites work: Small Grzegorczyk Classes
cites work: Rudimentary Languages and Second‐Order Logic
cites work: Counting $Δ_0$ sets
cites work: Classes of Predictably Computable Functions
cites work: Q5573961
cites work: Theory of Formal Systems. (AM-47)
cites work: The polynomial-time hierarchy
cites work: Rudimentary Predicates and Relative Computation
cites work: Super-exponentials nonprimitive recursive, but rudimentary
full work available at URL: s0304-3975(97)00002-9
OpenAlex ID: W2010307931
Recommended article: Primitive recursive equivalence relations and their primitive recursive complexity
Recommended article: On Rudimentarity, Primitive Recursivity and Representability
Recommended article: Q5427433
Recommended article: Primitive recursion, equality, and a universal set
Recommended article: Rudimentary recursion, gentle functions and provident sets
Recommended article: The realm of primitive recursion
Recommended article: A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
Recommended article: Elementary descent recursion and proof theory
Recommended article: On the Algebraic Structure of Primitive Recursive Functions
Recommended article: Q4246728
description: scientific article; zbMATH DE number 1189765