On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
From MaRDI portal
Publication:5060069
DOI10.18255/1818-1015-2020-3-304-315OpenAlexW3087923876MaRDI QIDQ5060069
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/mais717
Uses Software
Cites Work