Primitive Programing Algebra of Computable Functions at Records (original) (raw)
Related papers
Примитивная программная алгебра вычислимых функций над записями
2015
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
Modeling and Analysis of Information Systems, 2020
Minimal Algebras of Binary Operations of Rank 3
Computer tools in education, 2020
On Proof Complexities Relations in Some Systems of Propositional Calculus
Mathematical problems of computer science, 2020
On monogenic functions defined in different commutative algebras
arXiv (Cornell University), 2018
On the expressive power of primitives for compensation handling
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010
Recursive functions in the C language
Nashwan G H A L E B Al-Thobhani
Recursive functions in the C language, 2000
Explicit constructions and arithmetic of local number fields
Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy
An example of analysis of arithmetic and early algebraic thinking
Inovacije u nastavi, 2014
Proceedings of Academician O.B. Lupanov 14th International Scientific Seminar "Discrete Mathematics and Its Applications"
Numeral Systems in Various Fula Lects
RUDN Journal of Language Studies, Semiotics and Semantics
Modeling arithmetic in the first-order language enriched with temporal quantifiers
Herald of Tver State University. Series: Applied Mathematics
Computational complexity of the word problem in modal algebras
Herald of Tver State University. Series: Applied Mathematics, 2021
ON GEOMETRIC PROPERTIES OF FUNCTIONS WITH GENERALIZED FIRST DERIVATIVES
Sergey Vodopyanov, Vladimir Goldshtein
Russian Mathematical Surveys, 1979
Perspectives of Functional Programming of Parallel Computations
Russian Digital Libraries Journal, 2022
Algebra of Fractions of Algebra with Conjugation
New Features in the Second Version of the Cadabra Computer Algebra System
Programming and Computer Software, 2019
Elements of concrete algorithmics: computability and solvability
Problemy programmirovaniâ, 2020
STRUCTURAL AND APPLIED LINGUISTICS (SPBU) ● СТРУКТУРНАЯ И ПРИКЛАДНАЯ ЛИНГВИСТИКА (СПбГУ), АЛЕКСАНДР СЕРГЕЕВИЧ ГЕРД ● ALEXANDER SERGEEVICH HEARD
СТРУКТУРНАЯ И ПРИКЛАДНАЯ ЛИНГВИСТИКА, 1998
Polynomial over Associative D-Algebra
arXiv: General Mathematics, 2013
Genetic algorithm for constructing functional tests of arithmetic logic units
Eastern-European Journal of Enterprise Technologies, 2014
Eastern European Scientific Journal, 2017
Обчислювальна техніка та програмування
2016
A natural generalization of the Turing computability model
Logical Investigations, 2023
Problems of Theory and Methodology of Accounting, Control and Analysis, 2019
The development of Cameral Accounting Theory
2016
Programming Language Approach to Organization of Computations in Bioinformatics
System Informatics
Formalization of Contexts in Type Theory with Records and Modules
Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, sotsiologiya, politologiya, 2019
Computer Science and Cybersecurity
Organization of Calculations and Work with Memory in the Educational Programming Language SYNHRO
Russian Digital Libraries Journal
Polynomial in Non-Commutative Algebra
2021
On Rees closure in some classes of algebras with an operator
Chebyshevskii sbornik, 2021
Використання систем комп’ютерної математики при розв’язанні завдань теорії графів
Збірник наукових праць фізико-математичного факультету ДДПУ
Кайдан Н.В., Тураненко Х.О., 2017