G. V. Bokov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the complexity of a linear ordering of weighted directed acyclic graphs Moscow University Mathematics Bulletin	2021-09-08	Paper
On irreduceability of Boolean functions with respect to commutative associative operation Moscow University Mathematics Bulletin	2021-05-28	Paper
Criterion of neural generation of automaton functions with time delay Moscow University Mathematics Bulletin	2021-05-28	Paper
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication Logic Journal of the IGPL	2019-01-08	Paper
On the number of variables in undecidable superintuitionistic propositional calculi Logic Journal of the IGPL	2019-01-08	Paper
Undecidable problems for propositional calculi with implication Logic Journal of the IGPL	2019-01-08	Paper
Complexity of the CNF-satisfiability problem	2018-04-06	Paper
Complexity of the CNF-satisfiability problem (available as arXiv preprint)	2018-01-01	Paper
Undecidable iterative propositional calculus Algebra and Logic	2017-07-18	Paper
The complexity of propositional proofs	2016-09-14	Paper
WITHDRAWN: The complexity of propositional proofs (available as arXiv preprint)	2016-01-01	Paper
Criterion for propositional calculi to be finitely generated Discrete Mathematics and Applications	2015-05-12	Paper
Pontryagin's maximum principle of optimal control problems with time-delay Journal of Mathematical Sciences (New York)	2011-07-18	Paper

Research outcomes over time

This page was built for person: G. V. Bokov