Зображення обкладинки

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata

Збережено в:

Бібліографічні деталі
Дата:	2017
Автор:	A. N. Chebotarev
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2017
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000719118
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018)

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
за авторством: A. N. Chebotarev
Опубліковано: (2017)

Harmonization of automata specifications represented in the language L
за авторством: A. N. Chebotarev
Опубліковано: (2016)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Monads and tensor products
за авторством: T. Radul
Опубліковано: (2017)

On Automata Minimization by Hopcroft&#039;s Algorithm
за авторством: A. N. Chebotarev
Опубліковано: (2016)

Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Pure first-order logics of quasiary predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)

On a partially ordered set with a maximum 1-stable subset
за авторством: Yu. M. Perehuda
Опубліковано: (2014)

Weak Frobenius monads and Frobenius bimodules
за авторством: Wisbauer, Robert
Опубліковано: (2016)

Weak Frobenius monads and Frobenius bimodules
за авторством: R. Wisbauer
Опубліковано: (2016)

First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)

Pure first-order quasiary logics with equality predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)

Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Some problems from the analysis of hybrid automata
за авторством: V. V. Skobelev, та інші
Опубліковано: (2018)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Thin Subsets of Groups
за авторством: Protasov, I.V., та інші
Опубліковано: (2013)

Thin Subsets of Groups
за авторством: I. V. Protasov, та інші
Опубліковано: (2013)

Scattered Subsets of Groups
за авторством: T. O. Banakh, та інші
Опубліковано: (2015)

Regular pairings of functors and weak (co)monads
за авторством: R. Wisbauer
Опубліковано: (2013)

Regular pairings of functors and weak (co)monads
за авторством: Wisbauer, Robert
Опубліковано: (2018)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Partitions of groups into sparse subsets
за авторством: Protasov, Igor
Опубліковано: (2018)

Multiparticle fields on the subset of simultaneity
за авторством: D. A. Ptashynskiy, та інші
Опубліковано: (2019)

Partitions of groups into sparse subsets
за авторством: I. Protasov
Опубліковано: (2012)

Prethick subsets in partitions of groups
за авторством: I. V. Protasov, та інші
Опубліковано: (2012)

On the subset combinatorics of G-spaces
за авторством: I. Protasov, та інші
Опубліковано: (2014)

Multiparticle fields on the subset of simultaneity
за авторством: D. A. Ptashynskiy, та інші
Опубліковано: (2019)

Partitions of groups into sparse subsets
за авторством: Protasov, I.
Опубліковано: (2012)

Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2017)

Algebraic operations over fuzzy sets and relations in automata interpretation with realization by logical hardware means
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2022)

Symmetries of automata
за авторством: Egri-Nagy, Attila, та інші
Опубліковано: (2018)

Symmetries of automata
за авторством: A. Egri-Nagy, та інші
Опубліковано: (2015)

Descriptive complexity of the sizes of subsets of groups
за авторством: T. O. Banakh, та інші
Опубліковано: (2017)

Recent progress in Subset Combinatorics of Groups
за авторством: I. V. Protasov, та інші
Опубліковано: (2017)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: S. S. Shkilniak
Опубліковано: (2019)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2018)