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