A superposition basis in the class of Kalmar elementary functions

DOI10.1007/BF01140159MaRDI QIDQ1163014zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 1980

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01140159

zbMATH Keywords

Kalmar's elementary functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites work

• Hierarchies of Primitive Recursive Functions
• scientific article; zbMATH DE number 3552578 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• The decision problem for exponential diophantine equations
• ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN

Cited in

(3)

• Bounded prefix concatenation operation and finite bases with respect to the superposition
• Plain bases for classes of primitive recursive functions
• Operation of bound prefix concatenation and finite superposition bases

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1163014)