RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1991
Volume 318,
Number 3,
Pages
528–532
(Mi dan6039)
MATHEMATICS
Majorants of logic evaluations. Lifting and lowering lemmas in logic programming
Yu. V. Gavrilenko
Computing Centre, USSR Academy of Sciences, Moscow
UDC:
510.662
+
510.63
Presented:
A. A. Dorodnitsyn
Received: 29.12.1990
Fulltext:
PDF file (338 kB)
English version:
Doklady Mathematics, 1991,
43
:3,
716–720
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (338 kB)