G. V. Bokov

Available identifiers

zbMath Open bokov.grigoriy-vMaRDI QIDQ549451

List of research outcomes

Publication	Date of Publication	Type
On the complexity of a linear ordering of weighted directed acyclic graphs	2021-09-08	Paper
On irreduceability of Boolean functions with respect to commutative associative operation	2021-05-28	Paper
Criterion of neural generation of automaton functions with time delay	2021-05-28	Paper
Undecidable problems for propositional calculi with implication	2019-01-08	Paper
On the number of variables in undecidable superintuitionistic propositional calculi	2019-01-08	Paper
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication	2019-01-08	Paper
Complexity of the CNF-satisfiability problem	2018-04-06	Paper
Undecidable iterative propositional calculus	2017-07-18	Paper
The complexity of propositional proofs	2016-09-14	Paper
Criterion for propositional calculi to be finitely generated	2015-05-12	Paper
Pontryagin's maximum principle of optimal control problems with time-delay	2011-07-18	Paper

Research outcomes over time

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