RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1990
Volume 312,
Number 5,
Pages
1033–1037
(Mi dan6581)
MATHEMATICS
Applications of Cooper algebras to the theory of tail recursion in logic programming
Yu. V. Gavrilenko
Computing Centre, USSR Academy of Sciences, Moscow
UDC:
510.57
+519.717.3
Presented:
A. A. Dorodnitsyn
Received: 17.03.1989
Fulltext:
PDF file (339 kB)
English version:
Doklady Mathematics, 1990,
41
:3,
501–505
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (339 kB)