This article is cited in 1 paper

On the complexity of reasoning in Kleene algebra with commutativity conditions

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Language: English

DOI: 10.1007/978-3-031-47963-2_7

Bibliographic databases:

• 
•