Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2017
1. Verfasser:	A. N. Chebotarev
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2017
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000719118
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

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
von: A. N. Chebotarev
Veröffentlicht: (2018)

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
von: A. N. Chebotarev
Veröffentlicht: (2017)

Harmonization of automata specifications represented in the language L
von: A. N. Chebotarev
Veröffentlicht: (2016)

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

Monads and tensor products
von: T. Radul
Veröffentlicht: (2017)

Monads and tensor products
von: Radul, T. N., et al.
Veröffentlicht: (2017)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Pure first-order logics of quasiary predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)

On Automata Minimization by Hopcroft&#039;s Algorithm
von: A. N. Chebotarev
Veröffentlicht: (2016)

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Pure first-order quasiary logics with equality predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)

Distribution of arithmetical functions on some subsets of integers
von: Katai, I.
Veröffentlicht: (2007)

Some results on fuzzy subsets in gamma-nearrings
von: Williams, D.R.Pr., et al.
Veröffentlicht: (2009)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
von: Bača, J., et al.
Veröffentlicht: (2004)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Some problems from the analysis of hybrid automata
von: V. V. Skobelev, et al.
Veröffentlicht: (2018)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)

Weak Frobenius monads and Frobenius bimodules
von: Wisbauer, R.
Veröffentlicht: (2016)

Weak Frobenius monads and Frobenius bimodules
von: Wisbauer, Robert
Veröffentlicht: (2016)

Weak Frobenius monads and Frobenius bimodules
von: R. Wisbauer
Veröffentlicht: (2016)

Monad of the hyperspaces of inclusion and its algebras
von: Radul, T. N., et al.
Veröffentlicht: (1990)

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

Algebraic operations over fuzzy sets and relations in automata interpretation with realization by logical hardware means
von: S. L. Kryvyi, et al.
Veröffentlicht: (2022)

Regular pairings of functors and weak (co)monads
von: Wisbauer, Robert
Veröffentlicht: (2018)

Regular pairings of functors and weak (co)monads
von: R. Wisbauer
Veröffentlicht: (2013)

Regular pairings of functors and weak (co)monads
von: Wisbauer, R.
Veröffentlicht: (2013)

On a partially ordered set with a maximum 1-stable subset
von: Yu. M. Perehuda
Veröffentlicht: (2014)

Symmetries of automata
von: Egri-Nagy, A., et al.
Veröffentlicht: (2015)

Symmetries of automata
von: Egri-Nagy, Attila, et al.
Veröffentlicht: (2018)

Symmetries of automata
von: A. Egri-Nagy, et al.
Veröffentlicht: (2015)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
von: Shkilniak, О.S., et al.
Veröffentlicht: (2023)

Scattered Subsets of Groups
von: Banakh, T.O., et al.
Veröffentlicht: (2015)

Thin Subsets of Groups
von: Protasov, I.V., et al.
Veröffentlicht: (2013)

Thin Subsets of Groups
von: I. V. Protasov, et al.
Veröffentlicht: (2013)