RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1988
Volume 299,
Number 6,
Pages
1307–1309
(Mi dan7657)
MATHEMATICS
Completability of a search for invariant equalities in programs
A. A. Letichevskii
Institute of Cybernetics Ukrainian Academy of Sciences, Kiev
UDC:
519.71
+
519.68
Presented:
V. S. Mikhalevich
Received: 31.10.1986
Fulltext:
PDF file (215 kB)
English version:
Doklady Mathematics, 1988,
37
:2,
559–561
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (215 kB)