2025-02-23T03:29:20-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:29:20-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:29:20-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T03:29:20-05:00 DEBUG: Deserialized SOLR response
Synthesis of &Sigma;-automata specified in the first-order logical languages LP and LF
Saved in:
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!
|
Similar Items
2025-02-23T03:29:20-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-27324%22&qt=morelikethis
2025-02-23T03:29:20-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-27324%22&qt=morelikethis
2025-02-23T03:29:20-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T03:29:20-05:00 DEBUG: Deserialized SOLR response
Similar Items
-
Problems of synthesis of &Sigma;-automata specified in languages LP and LF of first order logic
by: A. N. Chebotarev
Published: (2017) -
Detecting fictitious states in a &Sigma;-automaton synthesized from the specification in the language LP
by: A. N. Chebotarev
Published: (2019) -
Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
by: A. N. Chebotarev
Published: (2017) -
Harmonization of automata specifications represented in the language L
by: A. N. Chebotarev
Published: (2016) -
From LP formulas of the form F(T) to k -&omega;-regular expressions
by: A. N. Chebotarev
Published: (2020)