A. I. Provotar'

Available identifiers

zbMath Open provotar.a-iMaRDI QIDQ1099962

List of research outcomes

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

Research outcomes over time

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