Эта публикация цитируется в 1 статье

On the complexity of reasoning in Kleene algebra with commutativity conditions

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Язык публикации: английский

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

Реферативные базы данных:

• 
•