Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
Saved in:
| Date: | 2017 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
2017
|
| Series: | Cybernetics and Systems Analysis |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000719118 |
| 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
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)
Harmonization of automata specifications represented in the language L
by: A. N. Chebotarev
Published: (2016)
by: A. N. Chebotarev
Published: (2016)
Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)
by: Shevchenko, R.S., et al.
Published: (2024)
Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)
by: Shevchenko, R.S.
Published: (2024)
Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Pure first-order logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016)
by: M. S. Nikitchenko, et al.
Published: (2016)
Monads and tensor products
by: T. Radul
Published: (2017)
by: T. Radul
Published: (2017)
Monads and tensor products
by: Radul, T. N., et al.
Published: (2017)
by: Radul, T. N., et al.
Published: (2017)
On Automata Minimization by Hopcroft's Algorithm
by: A. N. Chebotarev
Published: (2016)
by: A. N. Chebotarev
Published: (2016)
Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)
by: Nikitchenko, M.S., et al.
Published: (2025)
Pure first-order quasiary logics with equality predicates
by: M. S. Nikitchenko, et al.
Published: (2017)
by: M. S. Nikitchenko, et al.
Published: (2017)
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)
by: Bača, J., et al.
Published: (2004)
Distribution of arithmetical functions on some subsets of integers
by: Katai, I.
Published: (2007)
by: Katai, I.
Published: (2007)
Some results on fuzzy subsets in gamma-nearrings
by: Williams, D.R.Pr., et al.
Published: (2009)
by: Williams, D.R.Pr., et al.
Published: (2009)
Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)
by: Doroshenko, A.Yu., et al.
Published: (2015)
Some problems from the analysis of hybrid automata
by: V. V. Skobelev, et al.
Published: (2018)
by: V. V. Skobelev, et al.
Published: (2018)
First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)
by: Shkilniak, S.S.
Published: (2025)
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
by: S. S. Shkilniak
Published: (2013)
by: S. S. Shkilniak
Published: (2013)
Weak Frobenius monads and Frobenius bimodules
by: Wisbauer, Robert
Published: (2016)
by: Wisbauer, Robert
Published: (2016)
Weak Frobenius monads and Frobenius bimodules
by: R. Wisbauer
Published: (2016)
by: R. Wisbauer
Published: (2016)
Weak Frobenius monads and Frobenius bimodules
by: Wisbauer, R.
Published: (2016)
by: Wisbauer, R.
Published: (2016)
Monad of the hyperspaces of inclusion and its algebras
by: Radul, T. N., et al.
Published: (1990)
by: Radul, T. N., et al.
Published: (1990)
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
by: Чеботарев, А.Н.
Published: (2017)
by: Чеботарев, А.Н.
Published: (2017)
Algebraic operations over fuzzy sets and relations in automata interpretation with realization by logical hardware means
by: S. L. Kryvyi, et al.
Published: (2022)
by: S. L. Kryvyi, et al.
Published: (2022)
Regular pairings of functors and weak (co)monads
by: Wisbauer, Robert
Published: (2018)
by: Wisbauer, Robert
Published: (2018)
Regular pairings of functors and weak (co)monads
by: R. Wisbauer
Published: (2013)
by: R. Wisbauer
Published: (2013)
Regular pairings of functors and weak (co)monads
by: Wisbauer, R.
Published: (2013)
by: Wisbauer, R.
Published: (2013)
On a partially ordered set with a maximum 1-stable subset
by: Yu. M. Perehuda
Published: (2014)
by: Yu. M. Perehuda
Published: (2014)
Sequent calculi for first-order logics of single-valued quasi-ary predicates
by: Shkilniak, S.S.
Published: (2018)
by: Shkilniak, S.S.
Published: (2018)
First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)
by: Shkilniak, S.S.
Published: (2019)
First-order composition-nominative logics with predicates of weak equality and of strong equality
by: S. S. Shkilniak
Published: (2019)
by: S. S. Shkilniak
Published: (2019)
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
by: Shkilniak, О.S., et al.
Published: (2023)
by: Shkilniak, О.S., et al.
Published: (2023)
Symmetries of automata
by: Egri-Nagy, Attila, et al.
Published: (2018)
by: Egri-Nagy, Attila, et al.
Published: (2018)
Symmetries of automata
by: A. Egri-Nagy, et al.
Published: (2015)
by: A. Egri-Nagy, et al.
Published: (2015)