Language skills
Русский
English
Deutsch
Publications
Conference
On some universal system for various propositional logics
2015
699
Conference
Some notes about lower bounds for steps and sizes of proofs in Frege systems
2015
732
Conference
Improvement of lower bounds for steps and sizes of proofs in Frege systems
2015
18-19
Conference
On lower bounds for steps and sizes of proofs in Frege systems
2015
16-18
Monograph
Rabin style speed-up of proofs
2010
50
