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
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication	2019-01-08	Paper
On the number of variables in undecidable superintuitionistic propositional calculi	2019-01-08	Paper
Undecidable problems 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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