2025-02-23T03:39:58-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-27324%22&qt=morelikethis&rows=5
2025-02-23T03:39:58-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-27324%22&qt=morelikethis&rows=5
2025-02-23T03:39:58-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T03:39:58-05:00 DEBUG: Deserialized SOLR response
Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF

Saved in:
Bibliographic Details
Main Author: A. N. Chebotarev
Format: Article
Language:English
Published: 2018
Series:Cybernetics and Systems Analysis
Online Access:http://jnas.nbuv.gov.ua/article/UJRN-0000889042
Tags: Add Tag
No Tags, Be the first to tag this record!
id open-sciencenbuvgovua-27324
record_format dspace
spelling open-sciencenbuvgovua-273242024-02-27T21:47:30Z Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF A. N. Chebotarev 1019-5262 2018 en Cybernetics and Systems Analysis http://jnas.nbuv.gov.ua/article/UJRN-0000889042 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
Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
format Article
author A. N. Chebotarev
author_facet A. N. Chebotarev
author_sort A. N. Chebotarev
title Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
title_short Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
title_full Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
title_fullStr Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
title_full_unstemmed Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
title_sort synthesis of &amp;sigma;-automata specified in the first-order logical languages lp and lf
publishDate 2018
url http://jnas.nbuv.gov.ua/article/UJRN-0000889042
work_keys_str_mv AT anchebotarev synthesisofampsigmaautomataspecifiedinthefirstorderlogicallanguageslpandlf
first_indexed 2024-03-30T08:16:32Z
last_indexed 2024-03-30T08:16:32Z
_version_ 1796880121214271488

Similar Items