|
MATHEMATICS
On the complexity of derivations in classical propositional calculus
S. V. Popov Applied Mathematics Institute, Academy of Sciences of the USSR, Moscow
Citation:
S. V. Popov, “On the complexity of derivations in classical propositional calculus”, Dokl. Akad. Nauk SSSR, 228:5 (1976), 1041–1044
Linking options:
https://www.mathnet.ru/eng/dan40149 https://www.mathnet.ru/eng/dan/v228/i5/p1041
|
Statistics & downloads: |
Abstract page: | 78 | Full-text PDF : | 34 |
|