RUS
ENG
Full version
JOURNALS
// Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki
// Archive
Zh. Vychisl. Mat. Mat. Fiz.,
2004
Volume 44,
Number 3,
Pages
562–572
(Mi zvmmf884)
This article is cited in
8
papers
On the implementation complexity of discrete (logical) recognition procedures
E. V. Dyukova
Dorodnitsyn Computing Centre of the Russian Academy of Sciences
UDC:
519.6:519.712.4
MSC:
Primary
68T10
; Secondary
68Q25
Received:
18.04.2003
Revised:
17.10.2003
Fulltext:
PDF file (1841 kB)
References
Cited by
English version:
Computational Mathematics and Mathematical Physics, 2004,
44
:3,
532–541
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (1841 kB)