Holub, Štěpán; Raška, Martin; Starosta, Štěpán Binary codes that do not preserve primitivity. (English) Zbl 07722432 J. Autom. Reasoning 67, No. 3, Paper No. 25, 27 p. (2023). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha Decision procedures for flat array properties. (English) Zbl 1356.03049 J. Autom. Reasoning 54, No. 4, 327-352 (2015). MSC: 03B25 03B35 68P05 68T15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Wu, Chunhan; Zhang, Xingyuan; Urban, Christian A formalisation of the Myhill-Nerode theorem based on regular expressions. (English) Zbl 1314.68179 J. Autom. Reasoning 52, No. 4, 451-480 (2014). MSC: 68Q45 68T15 × Cite Format Result Cite Review PDF Full Text: DOI