From LP formulas of the form F(T) to k -ω-regular expressions by A. N. Chebotarev

Get full text

Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP by A. N. Chebotarev

Get full text

Synthesis of Σ-automata specified in the first-order logical languages LP and LF by A. N. Chebotarev

Get full text

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata by A. N. Chebotarev

Get full text

Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic by A. N. Chebotarev

Get full text

Harmonization of automata specifications represented in the language L by A. N. Chebotarev

Get full text

On Automata Minimization by Hopcroft's Algorithm by A. N. Chebotarev

Get full text

Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part by A. N. Chebotarev

Get full text

Complexation of vanadium(V) with 4-sulfo-2(4'-sulfonaphthalene-1'-azo)naphthol-1 in water and water-organic solutions by A. N. Chebotarev, E. V. Raboshvil, I. S. Efimova

Get full text

Spectrophotometric determination of vanadium (V) with 4-sulfo-2-(4'-sulfonaphthalene-1'-azo)naphthol-1 by A. N. Chebotarev, E. V. Raboshvil, I. S. Efimova, A. N. Zakharija

Get full text

Karmoazin as a redox reagent for Mn, Cr, Se, and V spectrophotometric determination of in the waters of different categories by A. N. Chebotarev, E. V. Raboshvil, D. V. Snigur, A. A. Polishchuk

Get full text

Direct electrothermal atomic absorption determination of nickel in vegetable fats and oils by A. N. Zakharija, A. S. Zhuravlev, A. N. Chebotarev, R. N. Kolpak, A. A. Polishchuk

Get full text