Constructing a –ω-Regular Expression Specified by a Graph of Elementary Extensions
Crossref DOI link: https://doi.org/10.1007/s10559-022-00447-0
Published Online: 2022-06-23
Published Print: 2022-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chebotarev, A. N.
Text and Data Mining valid from 2022-03-01
Version of Record valid from 2022-03-01
Article History
Received: 25 March 2021
First Online: 23 June 2022