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)
Approximation of the classes $B^{\Omega}_{p, \theta}$ of periodic functions of many variables by Fourier sums in the space $L_p$ with $p = 1, \infty$
за авторством: Myronyuk, V. V., та інші
Опубліковано: (2012)
за авторством: Myronyuk, V. V., та інші
Опубліковано: (2012)
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)
Поліноміальні ω-ультрарозподіли типу Берлінга і типу Рум’є
за авторством: Лозинська, В. Я., та інші
Опубліковано: (2014)
за авторством: Лозинська, В. Я., та інші
Опубліковано: (2014)
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)
On factorizations of limited solubly \(\omega\)-saturated formations
за авторством: Selkin, Vadim M.
Опубліковано: (2018)
за авторством: Selkin, Vadim M.
Опубліковано: (2018)
A Poincaré Formula for Differential Forms and Applications
за авторством: Ginoux, Nicolas, та інші
Опубліковано: (2023)
за авторством: Ginoux, Nicolas, та інші
Опубліковано: (2023)
Best approximation of periodic functions of several variables from the classes $MB^{\omega}_{p,\theta}$
за авторством: Stasyuk, S. A., та інші
Опубліковано: (2012)
за авторством: Stasyuk, S. A., та інші
Опубліковано: (2012)
The space $\Omega^p_m(R^d)$ and some properties
за авторством: Gürkanli, A. T., та інші
Опубліковано: (2006)
за авторством: Gürkanli, A. T., та інші
Опубліковано: (2006)
Application of omega-3 PUFA in prevention and therapy of preterm birth
за авторством: I. Z. Hladchuk, та інші
Опубліковано: (2018)
за авторством: I. Z. Hladchuk, та інші
Опубліковано: (2018)
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)
The Joint Approximation integrals by Fejer'S sums in the metric Lp
за авторством: V. A. Sorych, та інші
Опубліковано: (2019)
за авторством: V. A. Sorych, та інші
Опубліковано: (2019)
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)
On the generalized convolution for $F_c$, $F_c$, and $K - L$ integral transforms
за авторством: Thao, N. X., та інші
Опубліковано: (2012)
за авторством: Thao, N. X., та інші
Опубліковано: (2012)
On \(\tau\)-closed \(n\)-multiply \(\omega\)-composition formations with Boolean sublattices
за авторством: Zhiznevsky, Pavel
Опубліковано: (2018)
за авторством: Zhiznevsky, Pavel
Опубліковано: (2018)
Geometry of Ricci and $(\eta,\omega)$-Ricci solitons on the Sasaki–Kenmotsu manifold
за авторством: Sangeetha, M., та інші
Опубліковано: (2025)
за авторством: Sangeetha, M., та інші
Опубліковано: (2025)
Діаграми плавкості систем KBF₄—K₂ZrF₆—KCl, KBF₄—K₂ZrF₆—NaCl
за авторством: Бугаєнко, В.В., та інші
Опубліковано: (2007)
за авторством: Бугаєнко, В.В., та інші
Опубліковано: (2007)
Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
за авторством: M. S. Lvov, та інші
Опубліковано: (2018)
за авторством: M. S. Lvov, та інші
Опубліковано: (2018)
The k-mer method in tasks of identifying regular sequences
за авторством: Y. O. Terpilovskyi
Опубліковано: (2024)
за авторством: Y. O. Terpilovskyi
Опубліковано: (2024)
Representative and highly sensitive express method of measurement of f-activity
за авторством: Yu. H. Shchepkin, та інші
Опубліковано: (2022)
за авторством: Yu. H. Shchepkin, та інші
Опубліковано: (2022)
Review of monograph of Kryvachuk L.F. "Public Policy on Childhood Protection: Forming and Realization"
за авторством: N. O. Rynhach
Опубліковано: (2013)
за авторством: N. O. Rynhach
Опубліковано: (2013)
The forms and means of expressing "New Subjectivity” in Peter Handke's novel "Children's story”
за авторством: M. O. Orlova
Опубліковано: (2007)
за авторством: M. O. Orlova
Опубліковано: (2007)
Asymptotic properties of Lp-estimators
за авторством: Ivanov, A.V.
Опубліковано: (2008)
за авторством: Ivanov, A.V.
Опубліковано: (2008)
The Forming of the Mystic as a Part of the Poetry of F. Dostoevsky's Literary Works
за авторством: O. O. Bystrova
Опубліковано: (2011)
за авторством: O. O. Bystrova
Опубліковано: (2011)
Approximation of $\bar {\omega}$
-integrals of continuous functions defined on the real axis by Fourier operators
за авторством: Sokolenko, I. V., та інші
Опубліковано: (2004)
за авторством: Sokolenko, I. V., та інші
Опубліковано: (2004)
Star World by F. Hrubin (To the Problem of K. H. Makha's Traditions in New Czech Poetry
за авторством: V. K. Zhytnyk
Опубліковано: (1996)
за авторством: V. K. Zhytnyk
Опубліковано: (1996)
Symmetric analytic functions on ℓp
за авторством: I. V. Cherneha
Опубліковано: (2012)
за авторством: I. V. Cherneha
Опубліковано: (2012)
Универсальные компакты в lp
за авторством: Орлов, И.В.
Опубліковано: (2010)
за авторством: Орлов, И.В.
Опубліковано: (2010)
π-Formulae from dual series of the Dougall theorem
за авторством: W. Chu
Опубліковано: (2022)
за авторством: W. Chu
Опубліковано: (2022)
$\pi$-Formulae from dual series of the Dougall theorem
за авторством: Chu, W., та інші
Опубліковано: (2023)
за авторством: Chu, W., та інші
Опубліковано: (2023)
Analog of the Cayley–Sylvester formula and the Poincaré series for an algebra of invariants of ternary form
за авторством: Bedratyuk, L. P., та інші
Опубліковано: (2010)
за авторством: Bedratyuk, L. P., та інші
Опубліковано: (2010)
The 2nd International scientific reading "Linguistic studios of young researchers" is devoted to professor K. F. Shul'zuk's memory"
за авторством: H. Vokalchuk, та інші
Опубліковано: (2013)
за авторством: H. Vokalchuk, та інші
Опубліковано: (2013)
On the canonical forms of a regular matrix pencil
за авторством: P. F. Samusenko
Опубліковано: (2020)
за авторством: P. F. Samusenko
Опубліковано: (2020)
Operating tests for rails made of basic oxygen steel K76F manufactured by "MC "AZOVSTAL" PJSC at railways of Ukraine
за авторством: A. S. Rudjuk, та інші
Опубліковано: (2013)
за авторством: A. S. Rudjuk, та інші
Опубліковано: (2013)
Схожі ресурси
-
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)