A. I. Provotar'

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7587610 (Why is no real title available?)	2022-09-19	Paper
Erratum to: ``Fuzzy object-oriented dynamic networks. II Cybernetics and Systems Analysis	2016-09-19	Paper
Fuzzy object-oriented dynamic networks. II Cybernetics and Systems Analysis	2016-05-31	Paper
Fuzzy object-oriented dynamic networks. I Cybernetics and Systems Analysis	2015-11-26	Paper
On the paralogicality of some logical constructs Cybernetics and Systems Analysis	2008-09-24	Paper
To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences) Cybernetics and Systems Analysis	2007-07-05	Paper
Generalization of linear morphisms on \(N\) in topoi Cybernetics and Systems Analysis	2006-10-20	Paper
On formal models in investigating critical velocities (illustrated by Lorentz transformations) Cybernetics and Systems Analysis	2003-09-09	Paper
Boolean algebra as a fragment of the theory of Boolean toposes Cybernetics and Systems Analysis	2002-09-16	Paper
Using categorical methods in computer science Cybernetics and Systems Analysis	2002-01-06	Paper
The Thue problem and logical specifications of derivation in formal systems Cybernetics and Systems Analysis	2001-05-13	Paper
An approach to the creation of formal models of the influence of environmental impact on the development of biological systems Cybernetics and Systems Analysis	2000-07-09	Paper
Formal methods in computer technologies Cybernetics and Systems Analysis	1999-05-16	Paper
Incompleteness in a topos Cybernetics and Systems Analysis	1998-07-20	Paper
Geometry of recursion for arithmetic and existentially defined relations Cybernetics and Systems Analysis	1998-04-01	Paper
Optimization issues in structured-modular composition programming technology Cybernetics and Systems Analysis	1996-08-25	Paper
A methodology of structured-modular composition programming Cybernetics and Systems Analysis	1996-03-27	Paper
Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms Cybernetics and Systems Analysis	1996-02-08	Paper
CASE system for structured modular composition programming: Conceptual fundamentals Cybernetics and Systems Analysis	1995-08-06	Paper
Theoretical aspects of structured-modular composition programming: Algebra of morphisms Cybernetics and Systems Analysis	1995-05-17	Paper
scientific article; zbMATH DE number 59338 (Why is no real title available?)	1992-09-27	Paper
Finitely generated relations and their application to the translation problem in one class of languages Programming and Computer Software	1986-01-01	Paper

Research outcomes over time

This page was built for person: A. I. Provotar'