A superposition basis in the class of Kalmar elementary functions

DOI10.1007/BF01140159zbMath0483.03025MaRDI QIDQ1163014

Sergey S. Marchenkov

Publication date: 1980

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

Kalmar's elementary functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (3)

Operation of bound prefix concatenation and finite superposition bases ⋮ Unnamed Item ⋮ Bounded prefix concatenation operation and finite bases with respect to the superposition

Cites Work

• The decision problem for exponential diophantine equations
• Hierarchies of Primitive Recursive Functions
• ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN
• Unnamed Item
• Unnamed Item

This page was built for publication: A superposition basis in the class of Kalmar elementary functions