Stepan L. Kuznetsov, “On the complexity of reasoning in Kleene algebra with commutativity conditions”, Lecture Notes in Computer Science, 2023, Volume 14446, Pages 83

Lecture Notes in Computer Science

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Lecture Notes in Computer Science, 2023, Volume 14446, Pages 83–99
DOI: https://doi.org/10.1007/978-3-031-47963-2_7 (Mi lncs49)

This article is cited in 4 scientific papers (total in 4 papers)

On the complexity of reasoning in Kleene algebra with commutativity conditions

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Full-text PDF Citations (4)

DOI: https://doi.org/10.1007/978-3-031-47963-2_7

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/lncs49

Related presentations:

This publication is cited in the following 4 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles