On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions by Valery A. Sokolov

Subjects: Get full text

THE TRANSFORMATION OF THE RECURSIVE CONVEYOR FROM THE GENERAL FORM TO THE LINEAR CONVEYOR by Boris V. Kupriyanov

Subjects: Get full text

What Finitism Could Not Be by Matthias Schirn, Karl-Georg Niebergall

Subjects: Get full text

EVALUATION OF SOME PRODUCTION CHARACTERISTICS OF RECURSIVE CONVEYOR by Boris V. Kupriyanov

Subjects: Get full text

RECURSIVE CONVEYOR PROCESSES - THE MAIN PROPERTIES AND CHARACTERISTICS by Boris V. Kupriyanov

Subjects: Get full text

Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 2... by Valery Anatolyevich Sokolov

Subjects: Get full text

Methodology of scenario planning for post-war reconstruction of Ukraine by Serhii K. Kucherenko, Andrii M. Kolosov, А. І. Барилов

Subjects: Get full text

Construction of Countably Infinite Programs That Evade Malware/Non-Malware Classification for Any Given Formal System by Vasiliki Liagkou, Panagiotis E. Nastou, Paul Spirakis, Yannis C. Stamatiou

Subjects: Get full text

Computability evaluation of RESTful API using Primitive Recursive Function by R. Padmanaban, M. Thirumaran, P. Anitha, A. Moshika

Subjects: Get full text

Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

Subjects: Get full text