CONSTRUCTING THE MAXIMUM PREFIX-CLOSED SUBSET FOR A SET OF -[omega]-WORDS DEFINED BY A - [omega]-REGULAR EXPRESSION von Chebotarev, A.N

Volltext

CONSTRUCTING A -[omega]-REGULAR EXPRESSION SPECIFIED BY A GRAPH OF ELEMENTARY EXTENSIONS von Chebotarev, A.N

Volltext

FROM LP FORMULAS OF THE FORM F TO -[omega]-REGULAR EXPRESSIONS von Chebotarev, A.N

Volltext

FROM LP FORMULAS OF THE FORM F von Chebotarev, A.N

Volltext

DETECTING FICTITIOUS STATES IN A [SIGMA]-AUTOMATON SYNTHESIZED FROM ITS SPECIFICATION IN THE LANGUAGE LP von Chebotarev, A.N

Volltext

SYNTHESIS OF [SIGMA]-AUTOMATA SPECIFIED IN THE FIRST ORDER LOGICAL LANGUAGES LP AND LF von Chebotarev, A.N

Volltext

PROBLEMS OF SYNTHESIS OF [SIGMA]-AUTOMATA SPECIFIED IN LANGUAGES LP AND LF OF FIRST ORDER LOGIC von Chebotarev, A.N

Volltext

Study of the acid-base properties of quercetin in aqueous solutions by color measurements von Chebotarev, A. N., Snigur, D. V.

Volltext

Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language [L.sup.] to the language L von Chebotarev, A.N

Volltext

Acid–Base Properties of Azo Dyes in Solution Studied Using Spectrophotometry and Colorimetry von Snigur, D. V., Chebotarev, A. N., Bevziuk, K. V.

Volltext

Transformation of a language [L.sup.] specification of an FSM into an automata equivalent specification in the language L von Chebotarev, A.N

Volltext

Colorimetric Determination of Water in DMSO Using 4-Hydroxystyryl Dyes von Snigur, D. V., Zhukova, Yu. P., Studenyak, Ya. I., Chebotarev, A. N.

Volltext

On the class of [L.sup.]-language formulas that specify finite-memory finite-state machines von Chebotarev, A.N

Volltext

SOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN von Chebotarev, A.N.

Volltext

Harmonization of Automata Specifications Represented in the Language L von Chebotarev, A. N.

Volltext

Direct Electrothermal Atomic Absorption Determination of Trace Elements in Body Fluids (Review) von Zacharia, A. N., Arabadji, M. V., Chebotarev, A. N.

Volltext

Indicator Tubes for Sorption-Sectroscopic and Test-Determination of Cr(VI) in Waters von Chebotarev, A. N., Guzenko, E. M., Snigur, D. V.

Volltext

Extraction-Spectrophotometric Determination of Cu(II) with 6,7-Dihydroxy-4-Methyl-2-Phenylbenzopyrylium Chloride in Waters of Various Categories von Chebotarev, A. N., Dubovyi, V. P., Demchuk, A. V., Barbalat, D. A., Snigur, D. V.

Volltext

Research of composition and structure of complex Cd(II) tetrafluoroborates with phenylenediamines von Shestakova, M.V, Chebotarev, O.M

Volltext

Using the Compatibility Analysis of Logical Specifications of Automata to Solve Game Problems von Chebotarev, A. N.

Volltext