Transformations of expressions associated with systems of recursion relations

MaRDI QIDQ579918zbMATH OpenFDO

Authors Eugene Zima

Publication date 1985

Published in Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• System of transformations of certain representations of Boolean functions
• Identities among relations for higher-dimensional rewriting systems
• scientific article; zbMATH DE number 3949707
• Hyperarithmetical relations in expansions of recursive structures
• scientific article; zbMATH DE number 1419256
• scientific article; zbMATH DE number 1926606
• Transformations of Conditional Rewrite Systems Revisited
• General Recursive Functions in the Number-Theoretic Formal System
• Symmetric recurrence relations and binomial transforms

Cited in

(1)

• scientific article; zbMATH DE number 3928187 (Why is no real title available?)

This page was built for publication: Transformations of expressions associated with systems of recursion relations

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