RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1991
Volume 317,
Number 3,
Pages
535–539
(Mi dan6122)
MATHEMATICS
Correct classes of computations in logic programming
Yu. V. Gavrilenko
Computing Centre, USSR Academy of Sciences, Moscow
UDC:
510.662
+510.624
Presented:
A. A. Dorodnitsyn
Received: 14.11.1990
Fulltext:
PDF file (594 kB)
English version:
Doklady Mathematics, 1991,
43
:2,
422–426
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (594 kB)