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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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