On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions

DOI10.18255/1818-1015-2020-3-304-315OpenAlexW3087923876MaRDI QIDQ5060082

V. A. Sokolov

Publication date: 17 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais731

zbMATH Keywords

iterationsuperpositionbasisalgebrarecursive functionidentityfunction inversion

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Unnamed Item
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• CONSTRUCTIVE ALGEBRAS I
• Primitive recursive functions
• General Recursive Functions

This page was built for publication: On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions