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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext