N. A. Abramova

Available identifiers

zbMath Open abramova.n-aMaRDI QIDQ1285414

List of research outcomes

Publication	Date of Publication	Type
On an approach to the construction of languages of functional correctness-oriented specifications	1999-05-24	Paper
Analysis of the external behavior of binary programs and selection schemas on the basis of local equivalent transformations	1999-04-26	Paper
Analysis of the external behavior of a band automaton as the search problem for a consistent concept system	1998-10-18	Paper
A general equivalent-transformation approach to the analysis of external behavior of objects represented by functional schemas. II	1994-07-24	Paper
A general equivalent-transformation approach to the analysis of external behavior of objects represented by functional schemas. I	1994-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q3959670	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5681925	1971-01-01	Paper
Homogeneous logic networks and their automorphism groups	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5576526	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5583860	1967-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: N. A. Abramova