
SEMINARS 
Seminars
"Proof Theory" and "Logic Online Seminar"



Undecidability of the theory of Kleene algebras with commutativity conditions S. L. Kuznetsov^{} ^{} Steklov Mathematical Institute of Russian Academy of Sciences, Moscow 

Related articles:
