scientific article; zbMATH DE number 3957098

MaRDI QIDQ3726112zbMATH OpenFDO

Authors N. P. Ter-Zakharyan

Publication date 1982

zbMATH Keywords

Diophantine translationprimitive recursive functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• Efficient coding of formalized messages
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 1535454
• scientific article; zbMATH DE number 2156418
• scientific article; zbMATH DE number 3922005
• An Introduction to Arithmetic Coding
• scientific article; zbMATH DE number 1552120
• Numeration systems: a link between number theory and formal language theory
• A survey of languages for formalizing mathematics

This page was built for publication:

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