From LP formulas of the form F(T) to k -ω-regular expressions
Збережено в:
| Дата: | 2020 |
|---|---|
| Автор: | A. N. Chebotarev |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
2020
|
| Назва видання: | Cybernetics and Systems Analysis |
| Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0001152214 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
Intersection of ω-regular expressions
за авторством: A. M. Chebotarov
Опубліковано: (2021)
за авторством: A. M. Chebotarov
Опубліковано: (2021)
Constructing a -ω-regular expression specified by an elementary extensions graph
за авторством: A. M. Chebotarov
Опубліковано: (2022)
за авторством: A. M. Chebotarov
Опубліковано: (2022)
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
за авторством: A. N. Chebotarev
Опубліковано: (2019)
за авторством: A. N. Chebotarev
Опубліковано: (2019)
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018)
за авторством: A. N. Chebotarev
Опубліковано: (2018)
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
за авторством: A. N. Chebotarev
Опубліковано: (2017)
за авторством: A. N. Chebotarev
Опубліковано: (2017)
On strongly almost \(m\)-\(\omega_1\)-\(p^{\omega+n}\)-projective abelian \(p\)-groups
за авторством: Danchev, Peter
Опубліковано: (2016)
за авторством: Danchev, Peter
Опубліковано: (2016)
Forms of forming cascade production and economic and interregional cooperation: alpha and omega policy decentralization of power in Ukraine
за авторством: Yu. Khudolei, та інші
Опубліковано: (2015)
за авторством: Yu. Khudolei, та інші
Опубліковано: (2015)
The influence of omega-3 polyunsaturated fatty acids on the expression of enzymes of the pro-oxidant and antioxidant systems in the rat liver
за авторством: O. V. Maksymchuk
Опубліковано: (2014)
за авторством: O. V. Maksymchuk
Опубліковано: (2014)
Поліноміальні ω-ультрарозподіли типу Берлінга і типу Рум’є
за авторством: Лозинська, В. Я., та інші
Опубліковано: (2014)
за авторством: Лозинська, В. Я., та інші
Опубліковано: (2014)
On factorizations of limited solubly \(\omega\)-saturated formations
за авторством: Selkin, Vadim M.
Опубліковано: (2018)
за авторством: Selkin, Vadim M.
Опубліковано: (2018)
Application of omega-3 PUFA in prevention and therapy of preterm birth
за авторством: I. Z. Hladchuk, та інші
Опубліковано: (2018)
за авторством: I. Z. Hladchuk, та інші
Опубліковано: (2018)
The Joint Approximation integrals by Fejer'S sums in the metric Lp
за авторством: V. A. Sorych, та інші
Опубліковано: (2019)
за авторством: V. A. Sorych, та інші
Опубліковано: (2019)
On \(\tau\)-closed \(n\)-multiply \(\omega\)-composition formations with Boolean sublattices
за авторством: Zhiznevsky, Pavel
Опубліковано: (2018)
за авторством: Zhiznevsky, Pavel
Опубліковано: (2018)
Aerodynamical improvement of design, aerodynamic and power characteristics of "I.P.-L.P.-1" compartment of steam turbine K-325-23,5
за авторством: V. G. Solodov, та інші
Опубліковано: (2010)
за авторством: V. G. Solodov, та інші
Опубліковано: (2010)
Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
за авторством: M. S. Lvov, та інші
Опубліковано: (2018)
за авторством: M. S. Lvov, та інші
Опубліковано: (2018)
Symmetric analytic functions on ℓp
за авторством: I. V. Cherneha
Опубліковано: (2012)
за авторством: I. V. Cherneha
Опубліковано: (2012)
Универсальные компакты в lp
за авторством: Орлов, И.В.
Опубліковано: (2010)
за авторством: Орлов, И.В.
Опубліковано: (2010)
The k-mer method in tasks of identifying regular sequences
за авторством: Y. O. Terpilovskyi
Опубліковано: (2024)
за авторством: Y. O. Terpilovskyi
Опубліковано: (2024)
Subtext as a Form of "some others' words” expression
за авторством: I. P. Rykun
Опубліковано: (2002)
за авторством: I. P. Rykun
Опубліковано: (2002)
Kolomyikas' stylistics: affixation role in forming of kolomyika's expressiveness
за авторством: O. Kovalchuk
Опубліковано: (2016)
за авторством: O. Kovalchuk
Опубліковано: (2016)
Fractal operator in weighted Lp space
за авторством: O. Grigiriev, та інші
Опубліковано: (2013)
за авторством: O. Grigiriev, та інші
Опубліковано: (2013)
The minimal linear splines in Lp-norm
за авторством: P. I. Stetsiuk, та інші
Опубліковано: (2019)
за авторством: P. I. Stetsiuk, та інші
Опубліковано: (2019)
A brief overview of the Lp-theory of SPDEs
за авторством: Krylov, N.
Опубліковано: (2008)
за авторством: Krylov, N.
Опубліковано: (2008)
Относительная константа Юнга пространства Lp
за авторством: Пичугов, С.А.
Опубліковано: (1990)
за авторством: Пичугов, С.А.
Опубліковано: (1990)
π-Formulae from dual series of the Dougall theorem
за авторством: W. Chu
Опубліковано: (2022)
за авторством: W. Chu
Опубліковано: (2022)
Approximation in Lp by linear combinations of the indicators of balls
за авторством: O. A. Ochakovskaja
Опубліковано: (2015)
за авторством: O. A. Ochakovskaja
Опубліковано: (2015)
Representative and highly sensitive express method of measurement of f-activity
за авторством: Yu. H. Shchepkin, та інші
Опубліковано: (2022)
за авторством: Yu. H. Shchepkin, та інші
Опубліковано: (2022)
Approximation characteristics of diagonal operators in the lp-spaces
за авторством: A. L. Shydlich, та інші
Опубліковано: (2014)
за авторством: A. L. Shydlich, та інші
Опубліковано: (2014)
On Frobenius' Theta Formula
за авторством: Fiorentino, Alessio, та інші
Опубліковано: (2020)
за авторством: Fiorentino, Alessio, та інші
Опубліковано: (2020)
The Ukrainian Formula for Innovation
за авторством: O. F. Morozov
Опубліковано: (2014)
за авторством: O. F. Morozov
Опубліковано: (2014)
Littlewood–Paley theorem on spaces Lp(t)(ℝⁿ)
за авторством: Kopaliani, T.S.
Опубліковано: (2008)
за авторством: Kopaliani, T.S.
Опубліковано: (2008)
ON M-Projectively Flat LP-Sasakian Manifolds
за авторством: F. Ц. Zengin
Опубліковано: (2013)
за авторством: F. Ц. Zengin
Опубліковано: (2013)
More Examples of Hereditarily ℓp Banach Spaces
за авторством: Popov, M.M.
Опубліковано: (2005)
за авторством: Popov, M.M.
Опубліковано: (2005)
Lp-dual mixed affine surface areas
за авторством: X. Wan, та інші
Опубліковано: (2016)
за авторством: X. Wan, та інші
Опубліковано: (2016)
The formulas for real and imaginary parts of tails of approximants for branched continued fractions of the special form
за авторством: T. M. Antonova, та інші
Опубліковано: (2019)
за авторством: T. M. Antonova, та інші
Опубліковано: (2019)
The unified form of Pollaczek-Khinchine formula for Levy processes with matrix-exponential negative jumps
за авторством: D. Gusak, та інші
Опубліковано: (2012)
за авторством: D. Gusak, та інші
Опубліковано: (2012)
Effects of ethyl-esterization, chain-lengths, unsaturation degrees, and hyperthermia on carcinostatic effect of omega-hydroxylated fatty acids
за авторством: Kusumoto, K., та інші
Опубліковано: (2007)
за авторством: Kusumoto, K., та інші
Опубліковано: (2007)
Мінімальні за Lp-нормою лінійні сплайни
за авторством: Стецюк, П.І., та інші
Опубліковано: (2019)
за авторством: Стецюк, П.І., та інші
Опубліковано: (2019)
The Regularized Adaline Learning Algorithm or the Problem f Evaluation of Non-Stationary Parameters
за авторством: O. G. Rudenko, та інші
Опубліковано: (2019)
за авторством: O. G. Rudenko, та інші
Опубліковано: (2019)
On the canonical forms of a regular matrix pencil
за авторством: P. F. Samusenko
Опубліковано: (2020)
за авторством: P. F. Samusenko
Опубліковано: (2020)
Схожі ресурси
-
Intersection of ω-regular expressions
за авторством: A. M. Chebotarov
Опубліковано: (2021) -
Constructing a -ω-regular expression specified by an elementary extensions graph
за авторством: A. M. Chebotarov
Опубліковано: (2022) -
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
за авторством: A. N. Chebotarev
Опубліковано: (2019) -
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018) -
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
за авторством: A. N. Chebotarev
Опубліковано: (2017)