|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Algorithmic complexity for theories of commutative Kleene algebrasстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 декабря 2024 г.
- Автор: Kuznetsov Stepan Lvovich
- Журнал: Izvestiya. Mathematics
- Том: 88
- Номер: 2
- Год издания: 2024
- Издательство: American Mathematical Society
- Местоположение издательства: United States
- Первая страница: 236
- Последняя страница: 269
- DOI: 10.4213/im9480e
- Добавил в систему: Кузнецов Степан Львович