2025-02-22T16:40:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-36269%22&qt=morelikethis&rows=5
2025-02-22T16:40:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-36269%22&qt=morelikethis&rows=5
2025-02-22T16:40:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T16:40:03-05:00 DEBUG: Deserialized SOLR response
Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata

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

Saved in:
Bibliographic Details
Main Author: A. N. Chebotarev
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!
id open-sciencenbuvgovua-36269
record_format dspace
spelling open-sciencenbuvgovua-362692024-02-29T11:31:18Z Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata A. N. Chebotarev 1019-5262 2017 en Cybernetics and Systems Analysis http://jnas.nbuv.gov.ua/article/UJRN-0000719118 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Cybernetics and Systems Analysis
spellingShingle Cybernetics and Systems Analysis
A. N. Chebotarev
Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
format Article
author A. N. Chebotarev
author_facet A. N. Chebotarev
author_sort A. N. Chebotarev
title Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
title_short Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
title_full Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
title_fullStr Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
title_full_unstemmed Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
title_sort some subsets of monadic first order logic (mfo) used for specification and synthesis of у-automata
publishDate 2017
url http://jnas.nbuv.gov.ua/article/UJRN-0000719118
work_keys_str_mv AT anchebotarev somesubsetsofmonadicfirstorderlogicmfousedforspecificationandsynthesisofuautomata
first_indexed 2024-03-30T09:00:02Z
last_indexed 2024-03-30T09:00:02Z
_version_ 1796881056026066944

Similar Items