Category-theoretic models of algebraic computer systems

DOI10.1134/S0965542516010115MaRDI QIDQ2629982zbMATH OpenFDO

Authors S. P. Kovalyov

Publication date 8 July 2016

Published in Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

zbMATH Keywords

modular arithmeticalgebraic computer systemsemiprimal algebrastructural category of algebras

Mathematics Subject Classification ID

Many-valued logic (03B50) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• Algebraic approach to the design of distributed computing systems
• Algebra of constructions. I. The word problem for partial algebras
• scientific article; zbMATH DE number 3884350
• scientific article; zbMATH DE number 139984
• Algebraic model of architecture of a fault-tolerant computer system

Cites work

• scientific article; zbMATH DE number 50007 (Why is no real title available?)
• scientific article; zbMATH DE number 3499613 (Why is no real title available?)
• scientific article; zbMATH DE number 2007821 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 5041654 (Why is no real title available?)
• Algebraic approach to the design of distributed computing systems
• Basics of contemporary cryptography for its practitioners.
• Categories for Software Engineering
• Optimization of the characteristics of computational processes in scalable resources
• Semi-categorical algebras. I: Semi-primal algebras
• Łukasiewicz's logics and prime numbers.

Cited in

(1)

• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories

This page was built for publication: Category-theoretic models of algebraic computer systems

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