From LP formulas of the form F(T) to k -ω-regular expressions за авторством A. N. Chebotarev

Отримати повний текст

Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP за авторством A. N. Chebotarev

Отримати повний текст

Synthesis of Σ-automata specified in the first-order logical languages LP and LF за авторством A. N. Chebotarev

Отримати повний текст

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata за авторством A. N. Chebotarev

Отримати повний текст

Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic за авторством A. N. Chebotarev

Отримати повний текст

Harmonization of automata specifications represented in the language L за авторством A. N. Chebotarev

Отримати повний текст

On Automata Minimization by Hopcroft's Algorithm за авторством A. N. Chebotarev

Отримати повний текст

Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part за авторством A. N. Chebotarev

Отримати повний текст

Complexation of vanadium(V) with 4-sulfo-2(4'-sulfonaphthalene-1'-azo)naphthol-1 in water and water-organic solutions за авторством A. N. Chebotarev, E. V. Raboshvil, I. S. Efimova

Отримати повний текст

Spectrophotometric determination of vanadium (V) with 4-sulfo-2-(4'-sulfonaphthalene-1'-azo)naphthol-1 за авторством A. N. Chebotarev, E. V. Raboshvil, I. S. Efimova, A. N. Zakharija

Отримати повний текст

Karmoazin as a redox reagent for Mn, Cr, Se, and V spectrophotometric determination of in the waters of different categories за авторством A. N. Chebotarev, E. V. Raboshvil, D. V. Snigur, A. A. Polishchuk

Отримати повний текст

Direct electrothermal atomic absorption determination of nickel in vegetable fats and oils за авторством A. N. Zakharija, A. S. Zhuravlev, A. N. Chebotarev, R. N. Kolpak, A. A. Polishchuk

Отримати повний текст