The following pages link to G. V. Bokov (Q549451):
Displaying 9 items.
- Pontryagin's maximum principle of optimal control problems with time-delay (Q549452) (← links)
- On the complexity of a linear ordering of weighted directed acyclic graphs (Q1980441) (← links)
- On irreduceability of Boolean functions with respect to commutative associative operation (Q2027875) (← links)
- Criterion of neural generation of automaton functions with time delay (Q2027893) (← links)
- Criterion for propositional calculi to be finitely generated (Q2344087) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (Q4644516) (← links)
- On the number of variables in undecidable superintuitionistic propositional calculi (Q4644570) (← links)
- Undecidable problems for propositional calculi with implication (Q4644571) (← links)
