Lecture Notes in Computer Science
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Lecture Notes in Computer Science, 2023, том 14446, страницы 83–99
DOI: https://doi.org/10.1007/978-3-031-47963-2_7 (Mi lncs49) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

On the complexity of reasoning in Kleene algebra with commutativity conditions

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia
Список цитирования (1)
DOI: https://doi.org/10.1007/978-3-031-47963-2_7
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/lncs49
    • Доклады по теме:
    Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:16
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024