From LP formulas of the form F(T) to k -ω-regular expressions
Gespeichert in:
| Datum: | 2020 |
|---|---|
| 1. Verfasser: | A. N. Chebotarev |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2020
|
| Schriftenreihe: | Cybernetics and Systems Analysis |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0001152214 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASÄhnliche Einträge
Intersection of ω-regular expressions
von: A. M. Chebotarov
Veröffentlicht: (2021)
von: A. M. Chebotarov
Veröffentlicht: (2021)
Constructing a -ω-regular expression specified by an elementary extensions graph
von: A. M. Chebotarov
Veröffentlicht: (2022)
von: A. M. Chebotarov
Veröffentlicht: (2022)
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
von: A. N. Chebotarev
Veröffentlicht: (2019)
von: A. N. Chebotarev
Veröffentlicht: (2019)
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
von: A. N. Chebotarev
Veröffentlicht: (2018)
von: A. N. Chebotarev
Veröffentlicht: (2018)
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
von: A. N. Chebotarev
Veröffentlicht: (2017)
von: A. N. Chebotarev
Veröffentlicht: (2017)
Forms of forming cascade production and economic and interregional cooperation: alpha and omega policy decentralization of power in Ukraine
von: Yu. Khudolei, et al.
Veröffentlicht: (2015)
von: Yu. Khudolei, et al.
Veröffentlicht: (2015)
Поліноміальні ω-ультрарозподіли типу Берлінга і типу Рум’є
von: Лозинська, В. Я., et al.
Veröffentlicht: (2014)
von: Лозинська, В. Я., et al.
Veröffentlicht: (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
von: O. V. Maksymchuk
Veröffentlicht: (2014)
von: O. V. Maksymchuk
Veröffentlicht: (2014)
On strongly almost \(m\)-\(\omega_1\)-\(p^{\omega+n}\)-projective abelian \(p\)-groups
von: Danchev, Peter
Veröffentlicht: (2016)
von: Danchev, Peter
Veröffentlicht: (2016)
Subtext as a Form of "some others' words” expression
von: I. P. Rykun
Veröffentlicht: (2002)
von: I. P. Rykun
Veröffentlicht: (2002)
Kolomyikas' stylistics: affixation role in forming of kolomyika's expressiveness
von: O. Kovalchuk
Veröffentlicht: (2016)
von: O. Kovalchuk
Veröffentlicht: (2016)
От формул вида F(t) языка LP к -ω-регулярным выражениям
von: Чеботарев, А.Н.
Veröffentlicht: (2020)
von: Чеботарев, А.Н.
Veröffentlicht: (2020)
A Poincaré Formula for Differential Forms and Applications
von: Ginoux, Nicolas, et al.
Veröffentlicht: (2023)
von: Ginoux, Nicolas, et al.
Veröffentlicht: (2023)
The Joint Approximation integrals by Fejer'S sums in the metric Lp
von: V. A. Sorych, et al.
Veröffentlicht: (2019)
von: V. A. Sorych, et al.
Veröffentlicht: (2019)
On factorizations of limited solubly \(\omega\)-saturated formations
von: Selkin, Vadim M.
Veröffentlicht: (2018)
von: Selkin, Vadim M.
Veröffentlicht: (2018)
Aerodynamical improvement of design, aerodynamic and power characteristics of "I.P.-L.P.-1" compartment of steam turbine K-325-23,5
von: V. G. Solodov, et al.
Veröffentlicht: (2010)
von: V. G. Solodov, et al.
Veröffentlicht: (2010)
The forms and means of expressing "New Subjectivity” in Peter Handke's novel "Children's story”
von: M. O. Orlova
Veröffentlicht: (2007)
von: M. O. Orlova
Veröffentlicht: (2007)
Діаграми плавкості систем KBF₄—K₂ZrF₆—KCl, KBF₄—K₂ZrF₆—NaCl
von: Бугаєнко, В.В., et al.
Veröffentlicht: (2007)
von: Бугаєнко, В.В., et al.
Veröffentlicht: (2007)
Review of monograph of Kryvachuk L.F. "Public Policy on Childhood Protection: Forming and Realization"
von: N. O. Rynhach
Veröffentlicht: (2013)
von: N. O. Rynhach
Veröffentlicht: (2013)
Representative and highly sensitive express method of measurement of f-activity
von: Yu. H. Shchepkin, et al.
Veröffentlicht: (2022)
von: Yu. H. Shchepkin, et al.
Veröffentlicht: (2022)
Application of omega-3 PUFA in prevention and therapy of preterm birth
von: I. Z. Hladchuk, et al.
Veröffentlicht: (2018)
von: I. Z. Hladchuk, et al.
Veröffentlicht: (2018)
The Forming of the Mystic as a Part of the Poetry of F. Dostoevsky's Literary Works
von: O. O. Bystrova
Veröffentlicht: (2011)
von: O. O. Bystrova
Veröffentlicht: (2011)
The k-mer method in tasks of identifying regular sequences
von: Y. O. Terpilovskyi
Veröffentlicht: (2024)
von: Y. O. Terpilovskyi
Veröffentlicht: (2024)
Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
von: M. S. Lvov, et al.
Veröffentlicht: (2018)
von: M. S. Lvov, et al.
Veröffentlicht: (2018)
The 2nd International scientific reading "Linguistic studios of young researchers" is devoted to professor K. F. Shul'zuk's memory"
von: H. Vokalchuk, et al.
Veröffentlicht: (2013)
von: H. Vokalchuk, et al.
Veröffentlicht: (2013)
Star World by F. Hrubin (To the Problem of K. H. Makha's Traditions in New Czech Poetry
von: V. K. Zhytnyk
Veröffentlicht: (1996)
von: V. K. Zhytnyk
Veröffentlicht: (1996)
Operating tests for rails made of basic oxygen steel K76F manufactured by "MC "AZOVSTAL" PJSC at railways of Ukraine
von: A. S. Rudjuk, et al.
Veröffentlicht: (2013)
von: A. S. Rudjuk, et al.
Veröffentlicht: (2013)
Clark-Ocone type formulas on the spaces of regular basic and generalized functions in the analysis of Levy white noise
von: Kachanovskyy, Mykola, et al.
Veröffentlicht: (2023)
von: Kachanovskyy, Mykola, et al.
Veröffentlicht: (2023)
Oil and gas content of Yuliivs'k and Karavanivs'k area
von: V. A. Ivanyshyn, et al.
Veröffentlicht: (2013)
von: V. A. Ivanyshyn, et al.
Veröffentlicht: (2013)
The artistic form as the expression of ukrainian artistic tradition
von: H. Novozhenets-Havryliv
Veröffentlicht: (2015)
von: H. Novozhenets-Havryliv
Veröffentlicht: (2015)
On the canonical forms of a regular matrix pencil
von: P. F. Samusenko
Veröffentlicht: (2020)
von: P. F. Samusenko
Veröffentlicht: (2020)
On \(\tau\)-closed \(n\)-multiply \(\omega\)-composition formations with Boolean sublattices
von: Zhiznevsky, Pavel
Veröffentlicht: (2018)
von: Zhiznevsky, Pavel
Veröffentlicht: (2018)
Asymptotic properties of Lp-estimators
von: Ivanov, A.V.
Veröffentlicht: (2008)
von: Ivanov, A.V.
Veröffentlicht: (2008)
π-Formulae from dual series of the Dougall theorem
von: W. Chu
Veröffentlicht: (2022)
von: W. Chu
Veröffentlicht: (2022)
The Regularized Adaline Learning Algorithm or the Problem f Evaluation of Non-Stationary Parameters
von: O. G. Rudenko, et al.
Veröffentlicht: (2019)
von: O. G. Rudenko, et al.
Veröffentlicht: (2019)
The Fundamental k-Form and Global Relations
von: Anthony C.L. Ashton
Veröffentlicht: (2008)
von: Anthony C.L. Ashton
Veröffentlicht: (2008)
Функция металличности близких F-, G- и K-карликов
von: Захожай, В.А., et al.
Veröffentlicht: (1997)
von: Захожай, В.А., et al.
Veröffentlicht: (1997)
Новые индикаторы светимости для F-, G-, K-сверхгигантов
von: Чехонадских, Ф.А., et al.
Veröffentlicht: (2009)
von: Чехонадских, Ф.А., et al.
Veröffentlicht: (2009)
Symmetric analytic functions on ℓp
von: I. V. Cherneha
Veröffentlicht: (2012)
von: I. V. Cherneha
Veröffentlicht: (2012)
Универсальные компакты в lp
von: Орлов, И.В.
Veröffentlicht: (2010)
von: Орлов, И.В.
Veröffentlicht: (2010)
Ähnliche Einträge
-
Intersection of ω-regular expressions
von: A. M. Chebotarov
Veröffentlicht: (2021) -
Constructing a -ω-regular expression specified by an elementary extensions graph
von: A. M. Chebotarov
Veröffentlicht: (2022) -
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
von: A. N. Chebotarev
Veröffentlicht: (2019) -
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
von: A. N. Chebotarev
Veröffentlicht: (2018) -
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
von: A. N. Chebotarev
Veröffentlicht: (2017)