RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1968
Volume 8,
Pages
234–259
(Mi znsl2268)
This article is cited in
25
papers
On the complexity of proof in prepositional calculus
G. S. Tseitin
Fulltext:
PDF file (1060 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (1060 kB)